diff options
| author | Jonathan Weth <git@jonathanweth.de> | 2020-07-22 15:41:22 +0200 |
|---|---|---|
| committer | Jonathan Weth <git@jonathanweth.de> | 2020-07-22 15:41:22 +0200 |
| commit | 63903348d6df3f63338af17e9ab1318eff9f018c (patch) | |
| tree | 0e9d4f248978f72fd31f86df73e38161e682a1c4 | |
| parent | cdc79e2722a5b6718e21a3b1523deb7795b9385a (diff) | |
| download | RWA.Support.SessionService-63903348d6df3f63338af17e9ab1318eff9f018c.tar.gz RWA.Support.SessionService-63903348d6df3f63338af17e9ab1318eff9f018c.tar.bz2 RWA.Support.SessionService-63903348d6df3f63338af17e9ab1318eff9f018c.zip | |
Kill Flask instead of terminating to fix hanging service process
| -rw-r--r-- | session.py | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -126,7 +126,7 @@ class Session: if hasattr(self, "trigger_thread"): print("Kill trigger service.") - self.trigger_thread.terminate() + self.trigger_thread.kill() self.push() |