Applying solution I don't understand
This commit is contained in:
parent
192b083d58
commit
7ad1725235
|
@ -271,15 +271,14 @@ def setBestSolver():
|
||||||
setBestSolver()
|
setBestSolver()
|
||||||
|
|
||||||
class singleWorker(threading.Thread, helper_threading.StoppableThread):
|
class singleWorker(threading.Thread, helper_threading.StoppableThread):
|
||||||
name = "singleWorker"
|
|
||||||
|
|
||||||
def __init__(self):
|
def __init__(self):
|
||||||
super(self.__class__, self).__init__()
|
super(self.__class__, self).__init__(name = "singleWorker")
|
||||||
|
|
||||||
self.initStop()
|
self.initStop()
|
||||||
|
|
||||||
def stopThread(self):
|
def stopThread(self):
|
||||||
queues.workerQueue.put(("stopThread", "data"))
|
queues.workerQueue.put(("stopThread", "data"))
|
||||||
|
workProver.commandsQueue.put(("shutdown", ))
|
||||||
|
|
||||||
super(self.__class__, self).stopThread()
|
super(self.__class__, self).stopThread()
|
||||||
|
|
||||||
|
|
|
@ -119,7 +119,7 @@ class WorkProver(threading.Thread):
|
||||||
self.solverName = name
|
self.solverName = name
|
||||||
self.solver = self.availableSolvers[name]
|
self.solver = self.availableSolvers[name]
|
||||||
self.solver.setConfiguration(configuration)
|
self.solver.setConfiguration(configuration)
|
||||||
except GPUSolverError:
|
except gpusolver.GPUSolverError:
|
||||||
self.solverName = None
|
self.solverName = None
|
||||||
self.solver = None
|
self.solver = None
|
||||||
|
|
||||||
|
|
Reference in New Issue
Block a user