summaryrefslogtreecommitdiffstats
path: root/src/plugins/srv6-mobile/extra/runner.py
diff options
context:
space:
mode:
authorChristian E. Hopps <chopps@chopps.org>2019-09-27 13:52:50 -0400
committerDamjan Marion <dmarion@me.com>2019-12-17 18:41:21 +0000
commit10a8bda37eed33ada1e7c6ece7bda1fe066ba541 (patch)
tree556e01140d5736391cfd45b2351bff7e9b16b3e3 /src/plugins/srv6-mobile/extra/runner.py
parent19871f25394fa9a4bfb55006092cbcc28b446c04 (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