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/server.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/server.py')
0 files changed, 0 insertions, 0 deletions