diff options
Diffstat (limited to 'prolog')
| -rw-r--r-- | prolog/engine.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/prolog/engine.py b/prolog/engine.py index 11185b0..dc117f0 100644 --- a/prolog/engine.py +++ b/prolog/engine.py @@ -39,6 +39,7 @@ def stop(engine, timeout=10): def destroy(engine): params = urllib.parse.urlencode({'ids': engine}) try: + # We don't care about the answer here, so don't wait for it. request('GET', '/pengine/destroy_all?' + params, timeout=0.01) except: pass |