diff options
| author | Daniel Schüssler <933504+DanielSchuessler@users.noreply.github.com> | 2018-08-26 22:40:27 +0200 |
|---|---|---|
| committer | Daniel Schüssler <933504+DanielSchuessler@users.noreply.github.com> | 2018-10-06 19:53:57 +0200 |
| commit | b9a181870ce82c309613fba17edd9fd0b78b43cc (patch) | |
| tree | ab325d0172724404944dbeaf9697d93e5bf46434 /src/lib/Xmobar/Plugins/Monitors/Uptime.hs | |
| parent | 31fa44e9aa4ba4d3db8688d785b766fd5e7cf8f1 (diff) | |
| download | xmobar-b9a181870ce82c309613fba17edd9fd0b78b43cc.tar.gz xmobar-b9a181870ce82c309613fba17edd9fd0b78b43cc.tar.bz2 | |
Signal termination to plugin threads and wait for them upon program exit
This is necessary to allow the plugin threads to run their cleanup actions.
Diffstat (limited to 'src/lib/Xmobar/Plugins/Monitors/Uptime.hs')
0 files changed, 0 insertions, 0 deletions