diff options
| author | Junio C Hamano <gitster@pobox.com> | 2009-11-24 05:54:39 (GMT) |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2009-11-24 05:54:39 (GMT) |
| commit | 75a7ea258c0644b79e57cab3a345807f4017dfd2 (patch) | |
| tree | 0d55ddcfcbf550dc552a55c9ce15847d1c17114d /git-instaweb.sh | |
| parent | 483106089aea7ad856b7f940e20db254b08bad81 (diff) | |
| parent | 4f366275189c06ec26c01ee5ace2f3831b2aa46a (diff) | |
| download | git-75a7ea258c0644b79e57cab3a345807f4017dfd2.zip git-75a7ea258c0644b79e57cab3a345807f4017dfd2.tar.gz git-75a7ea258c0644b79e57cab3a345807f4017dfd2.tar.bz2 | |
Merge branch 'maint'
* maint:
pack-objects: split implications of --all-progress from progress activation
instaweb: restart server if already running
prune-packed: only show progress when stderr is a tty
Conflicts:
builtin-pack-objects.c
Diffstat (limited to 'git-instaweb.sh')
| -rwxr-xr-x | git-instaweb.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/git-instaweb.sh b/git-instaweb.sh index 622a5f0..ffc2ab6 100755 --- a/git-instaweb.sh +++ b/git-instaweb.sh @@ -73,6 +73,11 @@ resolve_full_httpd () { } start_httpd () { + if test -f "$fqgitdir/pid"; then + say "Instance already running. Restarting..." + stop_httpd + fi + # here $httpd should have a meaningful value resolve_full_httpd |