Return to cgi-polymake.sh CVS log | Up to [local] / OpenXM / src / polymake / cgi |
File: [local] / OpenXM / src / polymake / cgi / cgi-polymake.sh (download)
Revision 1.4, Sun Sep 22 02:28:42 2013 UTC (10 years, 10 months ago) by takayama
Use oxdecode_post. |
#!/bin/bash # $OpenXM: OpenXM/src/polymake/cgi/cgi-polymake.sh,v 1.4 2013/09/22 02:28:42 takayama Exp $ PATH=/usr/local/polymake/bin:$PATH export TMP=/tmp # Set OpenXM_HOME with your absolute path # Ex. OpenXM_HOME=/home/taka/OpenXM source $(OpenXM_HOME)/rc/dot.bashrc WFILE=/tmp/tmp-post-$$.txt oxdecode_post >${WFILE} env CONTENT_LENGTH=`wc -m ${WFILE} | awk '{print $1}'` sm1 -q -s "[(parse) (cgi.sm1) pushfile] extension cgiPolymake quit " <${WFILE} rm -f ${WFILE} exit 0 : rm -f ${WFILE}