summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@araneo.org>2015-08-27 11:08:53 +0200
committerTimotej Lazar <timotej.lazar@araneo.org>2015-08-27 11:08:53 +0200
commit2afe078b3190dde19fa689a864191fb756bff46d (patch)
tree042d3b7034eda8f6127c5b8354ec2eb8cd7095e0
parent33a1aee5c3c3af524cc56056590643af3b127558 (diff)
Fix a typo and add a comment
-rw-r--r--prolog/engine.py1
-rw-r--r--readme.txt2
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
diff --git a/readme.txt b/readme.txt
index 4c902c3..33eb3a5 100644
--- a/readme.txt
+++ b/readme.txt
@@ -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')
>>> ...