Skip to content

Commit 052ed40

Browse files
committed
added a bigger delay (30 min) at start to prevent uploading while Learn-OCaml server is not yet ready
1 parent 271b4a8 commit 052ed40

File tree

1 file changed

+6
-1
lines changed

1 file changed

+6
-1
lines changed

program.sh

+6-1
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,9 @@ error() {
77
echo "$1 failed" >&2
88
}
99

10-
# 10 min interval
10+
# 30 min sleep at beginning
11+
BEGIN=1800
12+
# 10 min sleep interval
1113
INTERVAL=600
1214
STOP=stop
1315

@@ -71,6 +73,9 @@ upload_repository() {
7173
watch_upload() {
7274
trap 'kill -TERM $PIDSLEEP' TERM
7375

76+
sleep $BEGIN &
77+
PIDSLEEP=$!
78+
wait $PIDSLEEP
7479
while ! [ -f $STOP ]
7580
do
7681
sleep $INTERVAL &

0 commit comments

Comments
 (0)