diff options
| author |   Christian E. Hopps <chopps@chopps.org> | 2019-09-27 13:52:50 -0400 |
|---|---|---|
| committer |   Damjan Marion <dmarion@me.com> | 2019-12-17 18:41:21 +0000 |
| commit | 10a8bda37eed33ada1e7c6ece7bda1fe066ba541 (patch) | |
| tree | 556e01140d5736391cfd45b2351bff7e9b16b3e3 /src/plugins/srv6-mobile/extra/runner.py | |
| parent | 19871f25394fa9a4bfb55006092cbcc28b446c04 (diff) | |
misc: don't os_exit(1) causing core on SIGINT
It's not typical for a program to core when it receives a SIGINT, so
keep this from happening.
Type: fix
Signed-off-by: Christian E. Hopps <chopps@chopps.org>
Change-Id: I2c15985a57e6ea898ff05c4001e4b30b41154eba
Diffstat (limited to 'src/plugins/srv6-mobile/extra/runner.py')
0 files changed, 0 insertions, 0 deletions