Browse Source

release_project renamed to unlock_project

Sniperovitch 8 years ago
parent
commit
0a31a3c539
1 changed files with 4 additions and 4 deletions
  1. 4 4
      cocktail

+ 4 - 4
cocktail

@@ -2,7 +2,7 @@
 
 
 die() {
 die() {
   echo -e "$@" >&2
   echo -e "$@" >&2
-  release_project
+  unlock_project
   exit 1
   exit 1
 }
 }
 
 
@@ -210,13 +210,13 @@ lock_project() {
   touch $LOCK_FILE
   touch $LOCK_FILE
 }
 }
 
 
-release_project() {
+unlock_project() {
   if test -e "$LOCK_FILE";
   if test -e "$LOCK_FILE";
   then
   then
     verbose "$FUNCNAME lock=$LOCK_FILE exists, delete"
     verbose "$FUNCNAME lock=$LOCK_FILE exists, delete"
     rm -f "$LOCK_FILE"
     rm -f "$LOCK_FILE"
   fi
   fi
-  verbose "$FUNCNAME $PROJET released"
+  verbose "$FUNCNAME $PROJET unlocked"
 }
 }
 
 
 usage() {
 usage() {
@@ -329,6 +329,6 @@ pad2markdown "$WORKING_FOLDER/$PROJET.txt" "$WORKING_FOLDER/$PROJET.markdown.txt
 pad2tex "$WORKING_FOLDER/$PROJET.txt" "$WORKING_FOLDER/$PROJET.tex"
 pad2tex "$WORKING_FOLDER/$PROJET.txt" "$WORKING_FOLDER/$PROJET.tex"
 tex2pdf "$WORKING_FOLDER/$PROJET.tex" "$WORKING_FOLDER/$PROJET.pdf"
 tex2pdf "$WORKING_FOLDER/$PROJET.tex" "$WORKING_FOLDER/$PROJET.pdf"
 publish
 publish
-release_project
+unlock_project
 exit
 exit