From a0a1865dd268e50c77a5a8dea09a46da7408fd54 Mon Sep 17 00:00:00 2001 From: Reto Habluetzel Date: Sat, 15 Sep 2012 16:34:35 +0200 Subject: Enhanced PipeReader capabilities * Removed PipeReader2 * PipeReader pipename can be prefixed with default. (e.g. "I am default:/home/foo/pipe") --- src/Plugins/PipeReader.hs | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) (limited to 'src/Plugins') diff --git a/src/Plugins/PipeReader.hs b/src/Plugins/PipeReader.hs index 3fd0dd4..42ae500 100644 --- a/src/Plugins/PipeReader.hs +++ b/src/Plugins/PipeReader.hs @@ -23,6 +23,12 @@ data PipeReader = PipeReader String String instance Exec PipeReader where alias (PipeReader _ a) = a start (PipeReader p _) cb = do - h <- openFile p ReadWriteMode + let (def, pipe) = split ':' p + h <- openFile pipe ReadWriteMode + cb def forever (hGetLineSafe h >>= cb) - where forever a = a >> forever a + where + forever a = a >> forever a + split c xs | c `elem` xs = let (pre, post) = span ((/=) c) xs + in (pre, dropWhile ((==) c) post) + | otherwise = ([], xs) -- cgit v1.2.3