Ticket #6258: index_regen.patch

IndexRegen.sh

@@ -9 +9 @@
 ####
 
 # Configuration
+LOCKFILE=/tmp/.dp_index_regen.lock
 # ROOT directory, where everything is. This must exist.
 ROOT=/Users/pguyot/dp-portindex
 # SSH key. This must exist.
@@ -47 +48 @@
 # The date.
 DATE=$(date +'%A %Y-%m-%d at %H:%M:%S')
 
+if [ ! -e $LOCKFILE ]; then
+        touch $LOCKFILE
+else
+        echo "Index Regen lockfile found, is another index regen running?"
+        exit 1
+fi
+
 # Create the SSH wrapper if it doesn't exist (comment this for -d /Volumes...)
 if [ ! -e $SSH_KEY ]; then
         echo "Key doesn't exist. The script is configured to find the SSH key at:"
@@ -140 +148 @@
         rm -f $COMMIT_MSG $FAILURE_LOG
 fi
 
+rm -f $LOCKFILE