version 1.12, 2004/12/29 01:42:13 |
version 1.17, 2013/10/11 01:08:35 |
|
|
% $OpenXM: OpenXM/src/kan96xx/Doc/cgi.sm1,v 1.11 2004/11/23 02:38:46 takayama Exp $ |
% $OpenXM: OpenXM/src/kan96xx/Doc/cgi.sm1,v 1.16 2013/09/25 07:30:52 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. |
|
|
/cgiPolymake.polymakeName (polymake) def |
/cgiPolymake.polymakeName (polymake) def |
%/cgiPolymake.polymakeName (polymake_dummy) def |
%/cgiPolymake.polymakeName (polymake_dummy) def |
%/cgiPolymake.polymakeName (hoge) def |
%/cgiPolymake.polymakeName (hoge) def |
|
/cgiPolymake.log 1 def |
|
|
[(cgiPolymake) |
[(cgiPolymake) |
[(Make sm1 to a polymake server based on CGI/OoHG) |
[(Make sm1 to a polymake server based on CGI/OoHG) |
|
|
cgiPolymake.errorMessage message exit |
cgiPolymake.errorMessage message exit |
} { } ifelse |
} { } ifelse |
[(read) 0 cgi.content_length] extension /cgi.query_string set |
[(read) 0 cgi.content_length] extension /cgi.query_string set |
|
cgiPolymake.log { |
|
cgi.query_string (string) dc sm1log |
|
} { } ifelse |
cgi.query_string isString { |
cgi.query_string isString { |
cgi.query_string length 0 eq { |
cgi.query_string length 0 eq { |
cgiPolymake.errorMessage message exit |
cgiPolymake.errorMessage message exit |
|
|
% ------------ client side script --------------- |
% ------------ client side script --------------- |
/cgiQueryPolymake.hostname (polymake.math.kobe-u.ac.jp) def |
/cgiQueryPolymake.hostname (polymake.math.kobe-u.ac.jp) def |
/cgiQueryPolymake.cginame (/cgi-bin/cgi-polymake.sh) def |
/cgiQueryPolymake.cginame (/cgi-bin/cgi-polymake.sh) def |
/cgiQueryPolymake { |
%This host and cgi are version 2.0 polymake. dim, ... are different with new versions. |
|
/cgiQueryPolymake { cgiQueryPolymake.curl } def |
|
%/cgiQueryPolymake { cgiQueryPolymake.native } def |
|
/cgiQueryPolymake.curl { |
/arg2 set /arg1 set |
/arg2 set /arg1 set |
|
[/saction /sfile /ff /ff1 /sss2 /goo /pp /pp2 /key /body /fd] pushVariables |
|
[ |
|
/saction arg1 def /sfile arg2 def |
|
% step1. Generate query in URL encoding. |
|
[(http://) cgiQueryPolymake.hostname cgiQueryPolymake.cginame] cat |
|
/ff1 set |
|
% full URL necessary for virtual host of apache. |
|
[[(oxMessageBody) |
|
[saction ( ) |
|
sfile nl ] cat |
|
] |
|
] /ff set |
|
|
|
ff 0 get 0 get /key set |
|
ff 0 get 1 get /body set |
|
% step 2. Call the server and get the response in pp |
|
/cgi.verbose 1 def |
|
(/tmp/sm1-q-cgi.txt) (w) file /fd set |
|
fd body writestring |
|
fd closefile |
|
% [(curl) (--form) [key (=@/tmp/sm1-q-cgi.txt)] cat ff1] /ff set |
|
% ff addStdoutStderr oxshell @@@stdout /pp set |
|
[(curl --form ) [key (=@/tmp/sm1-q-cgi.txt )] cat ff1 (>/tmp/sm1-q-cgi-out.txt)] cat /ff set |
|
ff system |
|
[nl (/tmp/sm1-q-cgi-out.txt) pushfile] cat /pp set |
|
|
|
cgi.verbose { pp message } { } ifelse |
|
[(cgiHttpToKeyValuePair) pp] extension /pp2 set |
|
pp2 message |
|
% step 3. Analyze the response. |
|
[pp2 (Content-Body) getNode |
|
pp2 (oxshell-stdout) getNode |
|
pp2 (oxshell-stderr) getNode |
|
] /arg1 set |
|
] pop |
|
popVariables |
|
arg1 |
|
} def |
|
|
|
/cgiQueryPolymake.native { |
|
/arg2 set /arg1 set |
[/saction /sfile /ff /ff1 /sss2 /goo /pp /pp2] pushVariables |
[/saction /sfile /ff /ff1 /sss2 /goo /pp /pp2] pushVariables |
[ |
[ |
/saction arg1 def /sfile arg2 def |
/saction arg1 def /sfile arg2 def |
|
|
%/polymake.start { polymake.start.OoHG } def |
%/polymake.start { polymake.start.OoHG } def |
|
|
[(doPolymake.OoHG) |
[(doPolymake.OoHG) |
[(It first looks for local polymake. If there is, it calls the local polymake.) |
[(doPolymake.local calls the local polymake.) |
(If not, it calls http://polymake.math.kobe-u.ac.jp/cgi-bin/cgi-polymake.sh) |
(This function 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.) |
|
(The host name and the cgi name are set to the variable) |
|
( cgiQueryPolymake.hostname and cgiQueryPolymake.cginame) |
(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 execute) |
|
( usePolymake.OoHG.curl) |
|
(after loading cgi.sm1) |
]] putUsages |
]] putUsages |
/doPolymake.OoHG { |
/doPolymake.OoHG { |
/arg1 set |
/arg1 set |
|
|
[ |
[ |
arg1 0 get /pAction set |
arg1 0 get /pAction set |
arg1 1 get /pData set |
arg1 1 get /pData set |
polymake.start |
polymake.start.OoHG |
|
|
/pError [ ] def |
/pError [ ] def |
%% step 1: polymake tfb ===> polymake native data |
%% step 1: polymake tfb ===> polymake native data |
|
|
% cgi-polymake |
% cgi-polymake |
(Trying web service.) message |
(Trying web service.) message |
pAction pNative cgiQueryPolymake /doPolymake.OoHG.result set |
pAction pNative cgiQueryPolymake /doPolymake.OoHG.result set |
|
doPolymake.OoHG.result /@@@doPolymake.vars set |
[(regexec) (Not Found) [doPolymake.OoHG.result 0 get ]] |
[(regexec) (Not Found) [doPolymake.OoHG.result 0 get ]] |
extension length 0 eq not { |
extension length 0 eq not { |
doPolymake.OoHG.result message |
doPolymake.OoHG.result message |
|
|
(polymake2tfb is not installed in this system.) error |
(polymake2tfb is not installed in this system.) error |
} { } ifelse |
} { } ifelse |
} def |
} def |
|
|
|
|
|
/usePolymake.local { |
|
/doPolymake { doPolymake.local } def |
|
/polymake.start { polymake.start.local } def |
|
} def |
|
|
|
/usePolymake.OoHG.native { |
|
/doPolymake { doPolymake.OoHG } def |
|
/polymake.start { polymake.start.OoHG } def |
|
/cgiQueryPolymake { cgiQueryPolymake.native } def |
|
} def |
|
|
|
/usePolymake.OoHG.curl { |
|
[(which) (curl)] oxshell tag 0 eq { |
|
(Error in usePolymake.OoHG.curl: curl is not found.) error |
|
} { } ifelse |
|
/doPolymake { doPolymake.OoHG } def |
|
/polymake.start { polymake.start.OoHG } def |
|
/cgiQueryPolymake { cgiQueryPolymake.curl } def |
|
} def |
|
|
|
[(usePolymake.local) |
|
[(doPolymake calls local polymake) |
|
]] putUsages |
|
|
|
[(usePolymake.OoHG.native) |
|
[(doPolymake = doPolymake.OoHG with cgiQueryPolymake.native) |
|
(cf. doPolymake.OoHG) |
|
(hostname is set in cgiQueryPolymake.hostname) |
|
(cginame is set in cgiQueryPolymake.cginame) |
|
]] putUsages |
|
|
|
[(usePolymake.OoHG.curl) |
|
[(doPolymake = doPolymake.OoHG with cgiQueryPolymake.curl) |
|
(It should be used when cgiQueryPolymake.native does not work) |
|
(over, e.g., a reverse proxy.) |
|
(The command curl is required. cf. cgi.verbose, doPolymake.OoHG) |
|
(hostname is set in cgiQueryPolymake.hostname) |
|
(cginame is set in cgiQueryPolymake.cginame) |
|
]] putUsages |
|
|
|
|
|
|
|
|
|
|
|
|
|
|