diff options
| -rw-r--r-- | prolog/engine.py | 1 | ||||
| -rw-r--r-- | readme.txt | 2 |
2 files changed, 2 insertions, 1 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 @@ -35,5 +35,5 @@ Debugging >>> import server >>> session = server.user_session.authenticate_and_create_session(user, pass) ->>> session.get_problem_data('prolog', 'family_relationss', 'sister_2') +>>> session.get_problem_data('prolog', 'family_relations', 'sister_2') >>> ... |