Merge branch 'goibhniu' of git://git.pipapo.org/mob/webgit
[webgit] / mini-httpd.sh
1 #!/bin/bash
2
3 rm minihttpd.log
4
5 export CTGIT_CONFIG=./webgit.conf
6
7 /usr/sbin/mini-httpd -c webgit -i minihttpd.pid -l minihttpd.log -p 8111 -d .
8
9 function killtail
10 {
11     kill $(cat tail.pid)
12 }
13
14 trap killtail SIGINT
15
16 tail -F minihttpd.log &
17 echo $! >tail.pid
18 wait
19
20 kill $(cat minihttpd.pid)