diff options
| author | zlbruce <zhangleibruce@gmail.com> | 2016-01-13 09:32:46 +0800 |
|---|---|---|
| committer | zlbruce <zhangleibruce@gmail.com> | 2016-01-13 09:32:46 +0800 |
| commit | 22cfefc7f363c3b7c96912d86dd6dd293834ba6f (patch) | |
| tree | 91149f923115e65908287b25b55a75b920ea6dc4 /src/Plugins | |
| parent | c20e521c0cb540230792dd9db77581e773e41bc5 (diff) | |
| download | xmobar-22cfefc7f363c3b7c96912d86dd6dd293834ba6f.tar.gz xmobar-22cfefc7f363c3b7c96912d86dd6dd293834ba6f.tar.bz2 | |
Update PipeReader.hs
threadDelay is in microseconds, It is unnecessary to check pipe every millisecond
Diffstat (limited to 'src/Plugins')
| -rw-r--r-- | src/Plugins/PipeReader.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Plugins/PipeReader.hs b/src/Plugins/PipeReader.hs index 058ed46..c3e491a 100644 --- a/src/Plugins/PipeReader.hs +++ b/src/Plugins/PipeReader.hs @@ -42,4 +42,4 @@ checkPipe file = handle (\(SomeException _) -> waitForPipe) $ do status <- getFileStatus file unless (isNamedPipe status) waitForPipe - where waitForPipe = threadDelay 1000 >> checkPipe file + where waitForPipe = threadDelay 1000000 >> checkPipe file |