graceful exit: fix #5
authorMart Lubbers <mart@martlubbers.net>
Thu, 13 Jul 2017 10:32:18 +0000 (12:32 +0200)
committerMart Lubbers <mart@martlubbers.net>
Thu, 13 Jul 2017 10:32:18 +0000 (12:32 +0200)
Makefile
cloogle.icl
run.sh

index 09cf707..4be80d8 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -16,7 +16,7 @@ CLMLIBS:=\
        -I ~/projects/gast/Libraries\
        -I ./libcloogle
 
-BINARIES:=IRC cloogle test
+BINARIES:=IRC cloogle #test
 
 all: $(BINARIES)
 
index c4c93d9..b2c7bdf 100644 (file)
@@ -117,6 +117,7 @@ Start w = bot ("irc.freenode.net", 6667) startup shutdown () process w
 
                process` :: (Maybe (Either IRCUser String)) IRCCommand *World -> (Maybe [IRCCommand], *World)
                process` (Just (Left user)) (PRIVMSG t m) w
+                       | m == "!restart" = (Nothing, w)
                        | m.[0] == '!'
                                # (msgs, w) = realProcess (split " " $ m % (1, size m)) w
                                = (Just $ map (PRIVMSG recipient) msgs, w)
@@ -157,7 +158,6 @@ Start w = bot ("irc.freenode.net", 6667) startup shutdown () process w
                realProcess ["query":xs] w = case xs of
                        [] = (["query requires one or more arguments"], w)
                        xs = appFst (split "\n") $ cloogle (join " " xs) w
-               realProcess ["restart"] w = abort "Restarted"
                realProcess ["restart":_] w = (["restart takes no arguments"], w)
                realProcess [c:_] w = ([join " " [
                        "Unknown cmd: ", c, ",  type !help to get help"]], w)
diff --git a/run.sh b/run.sh
index 14f41d6..83639f6 100644 (file)
--- a/run.sh
+++ b/run.sh
@@ -1,6 +1,7 @@
 #!/bin/sh
 while true
 do
+       git pull origin master
        make
        ./cloogle
        sleep 5s