Merge pull request #67 from nicoddemus/issue-66-clean-shutdown
Cleanly shutdown workers if session should be interrupted
This commit is contained in:
@@ -535,6 +535,7 @@ class DSession:
|
|||||||
while not self.session_finished:
|
while not self.session_finished:
|
||||||
self.loop_once()
|
self.loop_once()
|
||||||
if self.shouldstop:
|
if self.shouldstop:
|
||||||
|
self.triggershutdown()
|
||||||
raise Interrupted(str(self.shouldstop))
|
raise Interrupted(str(self.shouldstop))
|
||||||
return True
|
return True
|
||||||
|
|
||||||
|
|||||||
Reference in New Issue
Block a user