run-cgi

   1 #!/bin/bash
   2
   3 #echo "Content-type: text/html"
   4 #echo
   5 #exec 2>&1
   6
   7 N="$(basename "$0")"
   8 N="$(basename "$N" .cgi)"
   9
  10 if [ -f Makefile ]; then
  11         make -q "$N".exe || echo "<b>WARNING: $N is out of date!</b><p>"
  12 fi
  13
  14 exec mono --debug ./"$N".exe "$@"
  15 #exec strace -s 10240 -o /tmp/xx.$$.out mono --debug ./"$N".exe "$@"
  16