Browse Source

better release lock file

Sniperovitch 8 years ago
parent
commit
96a5f7ed8b
1 changed files with 5 additions and 1 deletions
  1. 5 1
      cocktail

+ 5 - 1
cocktail

@@ -14,6 +14,7 @@ STORE=/tmp/exegetes
 
 
 die() {
 die() {
   echo -e "$@" >&2
   echo -e "$@" >&2
+  release_project
   exit 1
   exit 1
 }
 }
 
 
@@ -223,7 +224,10 @@ lock_project() {
 
 
 release_project() {
 release_project() {
   verbose "$FUNCNAME $PROJET released"
   verbose "$FUNCNAME $PROJET released"
-  rm -f $LOCK_FILE
+  if test -e "$LOCKFILE";
+  then
+    rm -f $LOCK_FILE
+  fi
 }
 }
 
 
 usage() {
 usage() {