Exit after running --client
commitb8bcd3da1df02516119218760a6e6bb6c69e51db
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateTue 30 Sep 2014, 23:21 (12 years ago)
parent840c2cc
main/Main.hs+1
@@ -51,6 +51,7 @@ runIdris opts = do
5151 (c:_) -> do setVerbose False
5252 setQuiet True
5353 runIO $ runClient (getPort opts) c
54+ runIO $ exitWith ExitSuccess
5455 case opt getPkgCheck opts of
5556 [] -> return ()
5657 fs -> do runIO $ mapM_ (checkPkg (WarnOnly `elem` opts) True) fs