# HG changeset patch
# User Ludovic Chabant <ludovic@chabant.com>
# Date 1406003546 25200
# Node ID 9db89b76636a50772f7c68643a665de31df0de29
# Parent  49e3cb99ab2794ded5670741d234388ab1e610a0
Write the PID to the lock file on Unix.

diff -r 49e3cb99ab27 -r 9db89b76636a plat/unix/update_tags.sh
--- 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