Fixing monitor score bug

Author: natewoods-wf

net/lib.py

@@ -4,7 +4,7 @@
 
 # PORT = 8880
 # MASTER = '192.168.1.20'
-PORT = 9993
+PORT = 9994
 HOST = 'localhost'
 BUFF = 1024 # Size of initial buffer
 

src/__main__.py

@@ -8,12 +8,14 @@ class Monitor(Thread):
  def __init__(self, **kwargs):
  super(Monitor, self).__init__(**kwargs)
  self.complete = False
- self.score = 1e999
+ self.score = 1e9
  self.kill_me = False
 
  def run(self):
  while not self.kill_me:
- self.score, self.complete = lib.update(self.name)
+ score, self.complete = lib.update(self.name)
+ if score:
+ self.score = score
  sleep(10)
 
  def stop(self):

src/search.py

@@ -68,6 +68,9 @@ def search(self, weight=1, monitor=False):
  for Y in variables.difference(U)
  )
  f = g + weight * h
+ if monitor and f > monitor.score:
+ continue
+
  # print union, U, f
  if f < self.base_score.get(union, f + 1):
  open.put((f, union))