OpenXM/src/polymake/cgi/cgi-polymake.sh - diff

Return to cgi-polymake.sh CVS log

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

-version 1.2, 2004/09/27 08:33:37
+version 1.4, 2013/09/22 02:28:42
 Line 1
 Line 1
 Line 1
  #!/bin/bash
- # $OpenXM: OpenXM/src/polymake/cgi/cgi-polymake.sh,v 1.1 2004/09/27 01:20:46 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
- ## Replace $OpenXM_HOME by an absolute path of your cite.
- source $(OpenXM_HOME)/rc/dot.bashrc
  export TMP=/tmp
- sm1 -q -s "[(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}