webmcp
diff framework/env/ui/script.lua @ 487:91d0c8304d74
Do not execute abortable command if termination has already been requested
author | jbe |
---|---|
date | Mon Jun 12 03:18:54 2017 +0200 (2017-06-12) |
parents | d76a8857ba62 |
children |
line diff
author | jbe |
---|---|
date | Mon Jun 12 03:18:54 2017 +0200 (2017-06-12) |
parents | d76a8857ba62 |
children |