3 #echo "Content-type: text/html"
8 N
="$(basename "$N" .cgi)"
9 export MONO_SHARED_DIR
=/tmp
/monodat
$UID
10 [ ! -d $MONO_SHARED_DIR ] && mkdir
-p $MONO_SHARED_DIR
12 if [ -f Makefile
]; then
13 make -q "$N".exe ||
echo "<b>WARNING: $N is out of date!</b><p>"
16 exec mono
--debug .
/"$N".exe
"$@"
17 #exec strace -s 10240 -o /tmp/xx.$$.out mono --debug ./"$N".exe "$@"