changeset 8:9db89b76636a

Write the PID to the lock file on Unix.
author Ludovic Chabant <ludovic@chabant.com>
date Mon, 21 Jul 2014 21:32:26 -0700
parents 49e3cb99ab27
children f0f1d20d6f5c
files plat/unix/update_tags.sh
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/plat/unix/update_tags.sh	Sun Jul 20 14:39:33 2014 -0700
+++ b/plat/unix/update_tags.sh	Mon Jul 21 21:32:26 2014 -0700
@@ -54,7 +54,7 @@
 fi
 
 echo "Locking tags file..."
-echo "locked" > "$TAGS_FILE.lock"
+echo $$ > "$TAGS_FILE.lock"
 
 if [[ -f "$TAGS_FILE" ]]; then
     if [[ "$UPDATED_SOURCE" != "" ]]; then