From 22cfefc7f363c3b7c96912d86dd6dd293834ba6f Mon Sep 17 00:00:00 2001 From: zlbruce Date: Wed, 13 Jan 2016 09:32:46 +0800 Subject: Update PipeReader.hs threadDelay is in microseconds, It is unnecessary to check pipe every millisecond --- src/Plugins/PipeReader.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- cgit v1.2.3