git://git.onelab.eu / infrastructure.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 421f613)
discard current pid
authorthierry <thierry@41d37cc5-eb28-0410-a9bf-d37491348ade>
Wed, 11 Jun 2008 06:41:37 +0000 (06:41 +0000)
committerthierry <thierry@41d37cc5-eb28-0410-a9bf-d37491348ade>
Wed, 11 Jun 2008 06:41:37 +0000 (06:41 +0000)
scripts/all-modules.sh patch | blob | history

diff --git a/scripts/all-modules.sh b/scripts/all-modules.sh
index 9a8387f..a43dd8a 100755 (executable)
--- a/scripts/all-modules.sh
+++ b/scripts/all-modules.sh
@@ -10,7 +10,8 @@
 # when the svn server has problems, this can very well last quite a while
 
 COMMAND=$(basename $0)
-running=$(pgrep $COMMAND 2> /dev/null)
+pid=$$
+running=$(pgrep $COMMAND 2> /dev/null | grep -v "^${pid}"'^' )
 # bail out if another instance is already running
 [ -n "$running" ] && exit 1
 
infrastructure