diff options
| author | Daniel Schüssler <933504+DanielSchuessler@users.noreply.github.com> | 2018-08-31 22:41:32 +0200 |
|---|---|---|
| committer | Daniel Schüssler <933504+DanielSchuessler@users.noreply.github.com> | 2018-10-06 19:54:01 +0200 |
| commit | 4b81ed340f586fbc99d7888f8815539dd8e9f517 (patch) | |
| tree | 5acb79f2011e02ff1ffb34e249bc998d140d8f66 /src/Plugins/Monitors/CatInt.hs | |
| parent | e4bcc59790b4c1650a891c6a4c25e528689c44ac (diff) | |
| download | xmobar-4b81ed340f586fbc99d7888f8815539dd8e9f517.tar.gz xmobar-4b81ed340f586fbc99d7888f8815539dd8e9f517.tar.bz2 | |
Install signal handlers for most signals that terminate the process by default.
Make the signals throw an exception on the main thread instead (so it can run
cleanup actions, including terminating the other threads cleanly), and
finally run the default signal handler.
Diffstat (limited to 'src/Plugins/Monitors/CatInt.hs')
0 files changed, 0 insertions, 0 deletions