diff options
| -rwxr-xr-x | git-instaweb.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/git-instaweb.sh b/git-instaweb.sh index 5c700b61a8..a8c5dc0ee2 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 |