www.pipapo.org Git - webgit/blob - 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)