version 1.3, 2004/11/23 04:34:31 |
version 1.4, 2013/09/22 02:28:42 |
|
|
#!/bin/bash |
#!/bin/bash |
# $OpenXM: OpenXM/src/polymake/cgi/cgi-polymake.sh,v 1.2 2004/09/27 08:33:37 takayama Exp $ |
# $OpenXM: OpenXM/src/polymake/cgi/cgi-polymake.sh,v 1.3 2004/11/23 04:34:31 takayama Exp $ |
PATH=/usr/local/polymake/bin:$PATH |
PATH=/usr/local/polymake/bin:$PATH |
## Replace $OpenXM_HOME by an absolute path of your cite. |
|
source $(OpenXM_HOME)/rc/dot.bashrc |
|
export TMP=/tmp |
export TMP=/tmp |
sm1 -q -s "[(parse) (ox.sm1) pushfile] extension oxNoX [(parse) (cgi.sm1) pushfile] extension cgiPolymake quit " |
# 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} |