X-Git-Url: https://fleuret.org/cgi-bin/gitweb/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=withlock.sh;fp=withlock.sh;h=0000000000000000000000000000000000000000;hb=6473993b691c6280c4ad1d1d9a3b697eb0e05eb2;hp=980deb133c8997d4c64a726a682e9cbf89889619;hpb=5d1aa1fd3b6c8a003dd3789791a349f34a0b0c14;p=scripts.git

diff --git a/withlock.sh b/withlock.sh
deleted file mode 100755
index 980deb1..0000000
--- a/withlock.sh
+++ /dev/null
@@ -1,41 +0,0 @@
-#!/bin/bash
-
-#########################################################################
-# This program is free software: you can redistribute it and/or modify  #
-# it under the terms of the version 3 of the GNU General Public License #
-# as published by the Free Software Foundation.                         #
-#                                                                       #
-# This program is distributed in the hope that it will be useful, but   #
-# WITHOUT ANY WARRANTY; without even the implied warranty of            #
-# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU      #
-# General Public License for more details.                              #
-#                                                                       #
-# You should have received a copy of the GNU General Public License     #
-# along with this program. If not, see <http://www.gnu.org/licenses/>.  #
-#                                                                       #
-# Written by and Copyright (C) Francois Fleuret                         #
-# Contact <francois.fleuret@idiap.ch> for comments & bug reports        #
-#########################################################################
-
-# This command allows to call another command with a lockfile to avoid
-# concurrent executions for the same user.
-
-set -e
-
-if [[ ! $1 ]]; then
-    echo "withlock.sh <command> [command args]"
-    exit 1
-fi
-
-LOCKFILE=/tmp/lock$(which $1 | sed -e "s:/:-:g").${USER}
-
-(set -C && : > ${LOCKFILE}) 2> /dev/null
-
-if [ $? != "0" ]; then
-    echo "Lockfile ${LOCKFILE} exists." >&2
-    exit 1
-fi
-
-trap 'rm ${LOCKFILE}' EXIT
-
-$*