diff options
| author | Dimitri Staessens <dimitri@ouroboros.rocks> | 2021-07-15 20:29:25 +0200 |
|---|---|---|
| committer | Dimitri Staessens <dimitri@ouroboros.rocks> | 2021-07-15 20:29:25 +0200 |
| commit | 63571bf5567ef22c88d1c29dcfe41f263db8e063 (patch) | |
| tree | e82cb968eb86d4b6b37534d58d0499f49f3ef843 /tools/rumba-access | |
| parent | 345a65fc563332289b2e997febddff8ac0612457 (diff) | |
| download | rumba-63571bf5567ef22c88d1c29dcfe41f263db8e063.tar.gz rumba-63571bf5567ef22c88d1c29dcfe41f263db8e063.zip | |
prototypes: More robust termination of Ouroboros
In case of dumpsterfire, exp.terminate_prototype(force=True) will now
wipe the prototype Ouroboros completely.
Diffstat (limited to 'tools/rumba-access')
0 files changed, 0 insertions, 0 deletions