blob: 42ae50057f3f99a713870a56745219dda73cea64 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
|
-----------------------------------------------------------------------------
-- |
-- Module : Plugins.PipeReader
-- Copyright : (c) Andrea Rossato
-- License : BSD-style (see LICENSE)
--
-- Maintainer : Jose A. Ortega Ruiz <jao@gnu.org>
-- Stability : unstable
-- Portability : unportable
--
-- A plugin for reading from named pipes
--
-----------------------------------------------------------------------------
module Plugins.PipeReader where
import System.IO
import Plugins
data PipeReader = PipeReader String String
deriving (Read, Show)
instance Exec PipeReader where
alias (PipeReader _ a) = a
start (PipeReader p _) cb = do
let (def, pipe) = split ':' p
h <- openFile pipe ReadWriteMode
cb def
forever (hGetLineSafe h >>= cb)
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)
|
