version 1.14, 2013/09/22 05:17:17 |
version 1.15, 2013/09/22 08:07:51 |
|
|
% $OpenXM: OpenXM/src/kan96xx/Doc/cgi.sm1,v 1.13 2013/09/22 01:07:38 takayama Exp $ |
% $OpenXM: OpenXM/src/kan96xx/Doc/cgi.sm1,v 1.14 2013/09/22 05:17:17 takayama Exp $ |
% OpenXM/src/polymake/cgi/cgi-polymake.sh |
% OpenXM/src/polymake/cgi/cgi-polymake.sh |
% is a shell script to call sm1/polymake as a CGI script. |
% is a shell script to call sm1/polymake as a CGI script. |
% Override as /doPolymake {doPolymake.OoHG} def if you need. |
% Override as /doPolymake {doPolymake.OoHG} def if you need. |
|
|
(/tmp/sm1-q-cgi.txt) (w) file /fd set |
(/tmp/sm1-q-cgi.txt) (w) file /fd set |
fd body writestring |
fd body writestring |
fd closefile |
fd closefile |
[(curl) (--form) [key (=@/tmp/sm1-q-cgi.txt)] cat ff1] /ff set |
% [(curl) (--form) [key (=@/tmp/sm1-q-cgi.txt)] cat ff1] /ff set |
ff message |
% ff addStdoutStderr oxshell @@@stdout /pp set |
ff |
[(curl --form ) [key (=@/tmp/sm1-q-cgi.txt )] cat ff1 (>/tmp/sm1-q-cgi-out.txt)] cat /ff set |
addStdoutStderr oxshell |
ff system |
@@@stdout /pp set |
[nl (/tmp/sm1-q-cgi-out.txt) pushfile] cat /pp set |
pp message |
|
@@2stderr message |
|
(-----) message |
|
% For the case of error. |
|
[(regexec) (200 OK) [pp]] extension length 0 eq { |
|
(sss2=) message |
|
sss2 message |
|
(pp=) message |
|
pp message |
|
(cgi.sm1: there seems to be an error in the HTTP connection.) |
|
} { } ifelse |
|
|
|
cgi.verbose { pp message } { } ifelse |
cgi.verbose { pp message } { } ifelse |
[(cgiHttpToKeyValuePair) pp] extension /pp2 set |
[(cgiHttpToKeyValuePair) pp] extension /pp2 set |
|
pp2 message |
% step 3. Analyze the response. |
% step 3. Analyze the response. |
[pp2 (Content-Body) getNode |
[pp2 (Content-Body) getNode |
pp2 (oxshell-stdout) getNode |
pp2 (oxshell-stdout) getNode |
|
|
(If not, it calls http://polymake.math.kobe-u.ac.jp/cgi-bin/cgi-polymake.sh) |
(If not, it calls http://polymake.math.kobe-u.ac.jp/cgi-bin/cgi-polymake.sh) |
(to make a computation in polymake.) |
(to make a computation in polymake.) |
(See doPolymake for the syntax. doPolymake.OoHG may overrides doPolymake.) |
(See doPolymake for the syntax. doPolymake.OoHG may overrides doPolymake.) |
|
(If you use curl to call the server set as follows after loading cgi.sm1) |
|
(/cgiQueryPolymake { cgiQueryPolymake.curl } def) |
]] putUsages |
]] putUsages |
/doPolymake.OoHG { |
/doPolymake.OoHG { |
/arg1 set |
/arg1 set |