instaweb: restart server if already running
authorStephen Boyd <bebarino@gmail.com>
Mon, 23 Nov 2009 07:09:12 +0000 (23:09 -0800)
committerJunio C Hamano <gitster@pobox.com>
Tue, 24 Nov 2009 05:31:01 +0000 (21:31 -0800)
commit0b624b4...eee63ce45135cdbb80f2807c20b48646
treecd99912...9845ed8953f61fa358f12b89488cb882copy hash to clipboard (tree)
parent1ddf5ef...66d92282e3c654ebf263538a0df2ac24copy hash to clipboard (diff)
git-instaweb.sh