diff options
| author | Stefan Raspl <[email protected]> | 2017-03-10 13:40:02 +0100 |
|---|---|---|
| committer | Paolo Bonzini <[email protected]> | 2017-03-29 12:01:25 +0200 |
| commit | dadf1e7839243474b691ca4258bfd2a59e628a5e (patch) | |
| tree | 8908459086c1306540f7aa3147aad51ff5d4a6e3 /scripts/gdb/linux/utils.py | |
| parent | 9fc0adfc427a5e3f95f8db8dafabe1eaa3720f4a (diff) | |
tools/kvm_stat: handle SIGINT in log and batch modes
SIGINT causes ugly unhandled exceptions in log and batch mode, which we
prevent by catching the exceptions accordingly.
Signed-off-by: Stefan Raspl <[email protected]>
Reviewed-by: Marc Hartmayer <[email protected]>
Signed-off-by: Radim Krčmář <[email protected]>
Diffstat (limited to 'scripts/gdb/linux/utils.py')
0 files changed, 0 insertions, 0 deletions