summaryrefslogtreecommitdiff
path: root/python/runner/main.py
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@araneo.org>2015-08-26 19:21:45 +0200
committerTimotej Lazar <timotej.lazar@araneo.org>2015-08-26 19:21:45 +0200
commit11872a9610b03f80442e0ee3e6d5041dc72c7812 (patch)
treef87d1582356784156b20a0bddd22c0c907fdfe96 /python/runner/main.py
parent5821c5a0a3f59e1de66465ebf3b1158eec47ca4e (diff)
Use /destroy_all to abort and destroy pengines
Poorly documented, but works better than abort & destroy.
Diffstat (limited to 'python/runner/main.py')
0 files changed, 0 insertions, 0 deletions