Added final crontab scheduler

collective · Oct 16, 2012 · cf2d921 · cf2d921
1 parent b9f7fa4
commit cf2d921
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 5 deletions.
diff --git a/deployment.cfg b/deployment.cfg
@@ -9,9 +9,9 @@ extends =
 parts +=
     crontab
 
-# Run the github poller now and then
+# Run the github poller every 5 minutes
 [crontab]
 recipe = z3c.recipe.usercrontab
-times = @reboot
+times = */5 * * * *
 command = cd ${buildout:directory} && ./doc-holliday.sh
 
diff --git a/doc-holliday.sh b/doc-holliday.sh
@@ -7,14 +7,12 @@
 #
 
 
-changed=0
-
 deploy_target=/tmp/test-deploy
 
 # http://stackoverflow.com/questions/3258243/git-check-if-pull-needed
 git pull | grep -q -v 'Already up-to-date.' && changed=1
 
-if [[ $changed ]] ; then
+if [[ ! -z "$changed" ]] ; then
     # Rebuild the docs from the scratch
     bin/buildout
     make clean html