From 37b14ac86085b01d245202c703ef822f68f80deb Mon Sep 17 00:00:00 2001
From: Jens Petersen <juhpetersen@gmail.com>
Date: Tue, 6 Dec 2016 16:18:54 +0900
Subject: [PATCH] run-nightly.sh: run cron.sh in the background

Check that cron.sh is not already running.
With no new snapshot cron.sh takes about 1min.
---
 automated/run-nightly.sh | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/automated/run-nightly.sh b/automated/run-nightly.sh
index ed63364f..fe5e2c0a 100755
--- a/automated/run-nightly.sh
+++ b/automated/run-nightly.sh
@@ -4,11 +4,11 @@ cd "$(dirname "${BASH_SOURCE[0]}")"
 
 while true; do
     ./build.sh nightly-$(date -u +%F)
-
-    date
-    echo -n "Running cron.sh (do not interrupt)... "
-    ./cron.sh > cron.log 2>&1
-    echo "done."
+    if ! pgrep cron.sh >/dev/null; then
+        echo
+        echo "Running cron.sh in the background"
+        ./cron.sh > cron.log 2>&1 &
+    fi
     echo
     date