From d16aa9975e39cfbc46c20b312a2319a63c9a74e2 Mon Sep 17 00:00:00 2001 From: Daniel Wagner Date: Tue, 9 Aug 2011 19:52:50 +0000 Subject: [PATCH] recognize the --replace option --- Main.hs | 1 + 1 file changed, 1 insertion(+) diff --git a/Main.hs b/Main.hs index 239fb2a..cd076b5 100644 --- a/Main.hs +++ b/Main.hs @@ -43,6 +43,7 @@ main = do ("--resume":_) -> launch ["--help"] -> usage ["--recompile"] -> recompile True >>= flip unless exitFailure + ["--replace"] -> launch ["--restart"] -> sendRestart >> return () ["--version"] -> putStrLn $ unwords shortVersion ["--verbose-version"] -> putStrLn . unwords $ shortVersion ++ longVersion