summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJakub Narebski <jnareb@gmail.com>2010-05-28 19:11:23 (GMT)
committerJunio C Hamano <gitster@pobox.com>2010-06-02 18:49:24 (GMT)
commitd1127622f5e4aa2abf6b492f6e43c0e17c3e0442 (patch)
tree6219f2939b27b665557def5b7bdf15823aff8587
parentc0cb4ed3e653a37a53ef3a1e08daa42ac9cbc3fc (diff)
downloadgit-d1127622f5e4aa2abf6b492f6e43c0e17c3e0442.zip
git-d1127622f5e4aa2abf6b492f6e43c0e17c3e0442.tar.gz
git-d1127622f5e4aa2abf6b492f6e43c0e17c3e0442.tar.bz2
git-instaweb: Remove pidfile after stopping web server
This way running e.g. "git instaweb" after "git instaweb --stop" would not try to kill already stopped web server. This is probably important only for those web servers that are "daemonized" by git-instaweb itself, i.e. for those where it is git-instaweb that creates pidfile. Currently it is includes only 'mongoose' web server, but it would also include 'plackup' web server (added in later commit). Signed-off-by: Jakub Narebski <jnareb@gmail.com> Acked-by: Petr Baudis <pasky@suse.cz> Acked-by: Eric Wong <normalperson@yhbt.net> Signed-off-by: Junio C Hamano <gitster@pobox.com>
-rwxr-xr-xgit-instaweb.sh1
1 files changed, 1 insertions, 0 deletions
diff --git a/git-instaweb.sh b/git-instaweb.sh
index 5c700b6..a8c5dc0 100755
--- a/git-instaweb.sh
+++ b/git-instaweb.sh
@@ -114,6 +114,7 @@ EOF
stop_httpd () {
test -f "$fqgitdir/pid" && kill $(cat "$fqgitdir/pid")
+ rm -f "$fqgitdir/pid"
}
while test $# != 0