From 5daf746fe3474c1cc979f152618f619019a6823d Mon Sep 17 00:00:00 2001
From: =?utf8?q?Bar=C4=B1=C5=9F=20Metin?= <Talip-Baris.Metin@sophia.inria.fr>
Date: Mon, 22 Nov 2010 10:55:44 +0100
Subject: [PATCH] git-mirror lock

---
 scripts/git-mirror.sh | 17 +++++++++++++++--
 1 file changed, 15 insertions(+), 2 deletions(-)

diff --git a/scripts/git-mirror.sh b/scripts/git-mirror.sh
index 949234f..b28a725 100755
--- a/scripts/git-mirror.sh
+++ b/scripts/git-mirror.sh
@@ -8,6 +8,7 @@ QUIET=0
 FAILED=0
 FAILED_CMDS=""
 NOTIFIED_FILE="NOTIFIED_ADMINS"
+RUNNING_FILE=$LOCAL_MIRROR_DIR/RUNNING_MIRROR
 
 function msg () {
     if [ $QUIET -eq 0 ]
@@ -166,6 +167,18 @@ do
   esac
 done
 
-shift $((OPTIND-1))
-mirror $@
+
+if [ -f $RUNNING_FILE ]
+then
+    if [ $QUIET -eq 0 ]
+    then
+        echo "Another git-mirror is running. Aborting... " $RUNNING_FILE
+    fi
+else
+    shift $((OPTIND-1))
+    touch $RUNNING_FILE
+    mirror $@
+    rm -f $RUNNING_FILE
+fi
+
 
-- 
2.43.0