diff options
Diffstat (limited to 'Plugins/StdinReader.hs')
-rw-r--r-- | Plugins/StdinReader.hs | 33 |
1 files changed, 0 insertions, 33 deletions
diff --git a/Plugins/StdinReader.hs b/Plugins/StdinReader.hs deleted file mode 100644 index 2ee217e..0000000 --- a/Plugins/StdinReader.hs +++ /dev/null @@ -1,33 +0,0 @@ ------------------------------------------------------------------------------ --- | --- Module : Plugins.StdinReader --- 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 stdin --- ------------------------------------------------------------------------------ - -module Plugins.StdinReader where - -import Prelude hiding (catch) -import System.Posix.Process -import System.Exit -import System.IO -import Control.Exception (SomeException(..),catch) -import Plugins - -data StdinReader = StdinReader - deriving (Read, Show) - -instance Exec StdinReader where - start StdinReader cb = do - cb =<< catch (hGetLineSafe stdin) (\(SomeException e) -> do hPrint stderr e; return "") - eof <- hIsEOF stdin - if eof - then exitImmediately ExitSuccess - else start StdinReader cb |