Merge branch 'develop' of github.com:ClouDev/CloudBot into develop

2012-03-11 11:46:13 -08:00 · 2012-03-11 11:46:13 -08:00 · 54d84dcd09
commit 54d84dcd09
parent 54c8e37cce 65c0311062
2 changed files with 2 additions and 0 deletions
--- a/.gitignore
+++ b/.gitignore
@ -1,5 +1,6 @@
 persist
 config
+gitflow
 *.db
 *.log
 .*.swp
--- a/1
+++ b/1
@ -96,6 +96,7 @@ processargs() {
            if running; then
                echo "Restarting CloudBot... ($backend)"
                stop
+                sleep 3
                start
            else
                echo "Cannot restart! Bot is not already running!"