diff options
author | OpenGnSys Support Team <soporte-og@soleta.eu> | 2023-11-30 21:48:14 +0100 |
---|---|---|
committer | OpenGnSys Support Team <soporte-og@soleta.eu> | 2023-11-30 22:22:42 +0100 |
commit | b91ab6ef7813a313e1944e8d01057414166962d8 (patch) | |
tree | 336c86ca7a0ce22d22a4b0e9ac5cd8f856788cab /cli/objects/scopes.py | |
parent | da8f8e8009741e92d5e5fd08b9a30bea96a385fb (diff) |
ogcli: add SIGINT handler
if user presses ctrl-c, interrupt ongoing operation to avoid python backtrace.
Diffstat (limited to 'cli/objects/scopes.py')
0 files changed, 0 insertions, 0 deletions