diff options
author | Amir Saeid <amir@glgdgt.com> | 2021-07-02 18:52:25 +0100 |
---|---|---|
committer | Amir Saeid <amir@glgdgt.com> | 2021-07-13 08:40:45 +0100 |
commit | 084c16f5b3c49aa6bd1bc85bd14857e13cb20cac (patch) | |
tree | d645004a601725e1d52c1b16ff53dc8e9656b41e /src/Xmobar/Plugins/Monitors/Swap.hs | |
parent | fe92b6e5912c58890a2c393df73b6ab97c8d7449 (diff) | |
download | xmobar-084c16f5b3c49aa6bd1bc85bd14857e13cb20cac.tar.gz xmobar-084c16f5b3c49aa6bd1bc85bd14857e13cb20cac.tar.bz2 |
Reconnect on ConnectionClosed exception
Diffstat (limited to 'src/Xmobar/Plugins/Monitors/Swap.hs')
0 files changed, 0 insertions, 0 deletions