Return to cgi-polymake.sh CVS log

Up to [local] / OpenXM / src / polymake / cgi

Annotation of OpenXM/src/polymake/cgi/cgi-polymake.sh, Revision 1.4

1.1       takayama    1: #!/bin/bash
1.4     ! takayama    2: # $OpenXM: OpenXM/src/polymake/cgi/cgi-polymake.sh,v 1.3 2004/11/23 04:34:31 takayama Exp $
1.2       takayama    3: PATH=/usr/local/polymake/bin:$PATH
1.4     ! takayama    4: export TMP=/tmp
        !             5: # Set OpenXM_HOME with your absolute path
        !             6: # Ex. OpenXM_HOME=/home/taka/OpenXM
1.1       takayama    7: source $(OpenXM_HOME)/rc/dot.bashrc
1.4     ! takayama    8: WFILE=/tmp/tmp-post-$$.txt
        !             9: oxdecode_post >${WFILE}
        !            10: env CONTENT_LENGTH=`wc -m ${WFILE} | awk '{print $1}'` sm1 -q -s "[(parse) (cgi.sm1) pushfile] extension cgiPolymake quit " <${WFILE}
        !            11: rm -f ${WFILE}
        !            12: exit 0
        !            13: : rm -f ${WFILE}