Merge pull request #1566 from edwinb/client-fix
Exit after running --client
commitb16d583d5982f6d9683b4bc5dc81ab724bcd340c
authorDavid Christiansen <david@davidchristiansen.dk>
dateTue 30 Sep 2014, 22:11 (12 years ago)
parent4694a36b8bcd3d
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