@@ -51,6 +51,7 @@ runIdris opts = do
51 (c:_) -> do setVerbose False
51 (c:_) -> do setVerbose False
52 setQuiet True
52 setQuiet True
53 runIO $ runClient (getPort opts) c
53 runIO $ runClient (getPort opts) c
54+ runIO $ exitWith ExitSuccess
54 case opt getPkgCheck opts of
55 case opt getPkgCheck opts of
55 [] -> return ()
56 [] -> return ()
56 fs -> do runIO $ mapM_ (checkPkg (WarnOnly `elem` opts) True) fs
57 fs -> do runIO $ mapM_ (checkPkg (WarnOnly `elem` opts) True) fs