]> Untitled Git - godot-builder.git/blob - builder/entrypoint.sh
Extended default redis polling time
[godot-builder.git] / builder / entrypoint.sh
1 #!/bin/bash
2
3
4 function intr() {
5     echo Halting
6     exit
7 }
8
9 trap intr SIGINT
10
11 SLEEP_INT=$1
12 [[ -n "$SLEEP_INT" ]] || SLEEP_INT=60
13
14 echo Starting builder polling every $SLEEP_INT seconds...
15
16 # polls a redis queue for jobs, starts the builder when it's got some
17 while true
18 do
19     SNAPSHOT_URI=$(redis-cli -h redis LPOP snapshots)
20     [[ -n "$SNAPSHOT_URI" ]] && ./godot-export.sh "$SNAPSHOT_URI"
21     sleep $SLEEP_INT
22 done
23
24