]> Untitled Git - godot-builder.git/blobdiff - builder/entrypoint.sh
Extended default redis polling time
[godot-builder.git] / builder / entrypoint.sh
index 9db721d9f4d9db9d97dd0d96beaf3e0fc9f20b35..1013354345995fe494a535d94c37b53dc18d919c 100755 (executable)
@@ -8,14 +8,17 @@ function intr() {
 
 trap intr SIGINT
 
-echo Starting builder polling...
+SLEEP_INT=$1
+[[ -n "$SLEEP_INT" ]] || SLEEP_INT=60
+
+echo Starting builder polling every $SLEEP_INT seconds...
 
 # polls a redis queue for jobs, starts the builder when it's got some
 while true
 do
     SNAPSHOT_URI=$(redis-cli -h redis LPOP snapshots)
     [[ -n "$SNAPSHOT_URI" ]] && ./godot-export.sh "$SNAPSHOT_URI"
-    sleep 1
+    sleep $SLEEP_INT
 done