From 7ad172523527fa4206ff609cab1f36deab2dc800 Mon Sep 17 00:00:00 2001 From: Biryuzovye Kleshni Date: Thu, 2 Aug 2018 15:00:23 +0000 Subject: [PATCH] Applying solution I don't understand --- src/singleworker.py | 5 ++--- src/workprover/__init__.py | 2 +- 2 files changed, 3 insertions(+), 4 deletions(-) diff --git a/src/singleworker.py b/src/singleworker.py index 9fa1391c..b8dc8b60 100644 --- a/src/singleworker.py +++ b/src/singleworker.py @@ -271,15 +271,14 @@ def setBestSolver(): setBestSolver() class singleWorker(threading.Thread, helper_threading.StoppableThread): - name = "singleWorker" - def __init__(self): - super(self.__class__, self).__init__() + super(self.__class__, self).__init__(name = "singleWorker") self.initStop() def stopThread(self): queues.workerQueue.put(("stopThread", "data")) + workProver.commandsQueue.put(("shutdown", )) super(self.__class__, self).stopThread() diff --git a/src/workprover/__init__.py b/src/workprover/__init__.py index f7fc6b20..1aac3a65 100644 --- a/src/workprover/__init__.py +++ b/src/workprover/__init__.py @@ -119,7 +119,7 @@ class WorkProver(threading.Thread): self.solverName = name self.solver = self.availableSolvers[name] self.solver.setConfiguration(configuration) - except GPUSolverError: + except gpusolver.GPUSolverError: self.solverName = None self.solver = None