=================================================================== RCS file: /home/cvs/OpenXM/src/kan96xx/Doc/cgi.sm1,v retrieving revision 1.2 retrieving revision 1.16 diff -u -p -r1.2 -r1.16 --- OpenXM/src/kan96xx/Doc/cgi.sm1 2004/09/24 13:15:27 1.2 +++ OpenXM/src/kan96xx/Doc/cgi.sm1 2013/09/25 07:30:52 1.16 @@ -1,5 +1,20 @@ -% $OpenXM: OpenXM/src/kan96xx/Doc/cgi.sm1,v 1.1 2004/09/24 08:35:47 takayama Exp $ +% $OpenXM: OpenXM/src/kan96xx/Doc/cgi.sm1,v 1.15 2013/09/22 08:07:51 takayama Exp $ +% OpenXM/src/polymake/cgi/cgi-polymake.sh +% is a shell script to call sm1/polymake as a CGI script. +% Override as /doPolymake {doPolymake.OoHG} def if you need. +/cgi.verbose 0 def + +[(plugin-cgi) +[(Key words: ) + ( cgiUrlEncodingToKeyValuePair) + ( cgiKeyValuePairToHttpString) + ( cgiKeyValuePairToUrlEncodingString) + ( cgiStringToUrlEncoding) + ( cgiUrlEncodedStringToObj) + ( cgiHttpToKeyValuePair) +]] putUsages + % A sample code % (OpenXM) cgiQueryGoogle --> it does not work well. /cgiQueryGoogle { @@ -26,7 +41,10 @@ [[(URL),(/index.html)] ] /kv set [(cgiKeyValuePairToUrlEncodingString) kv] extension /sss set - [(GET ) , sss , ( HTTP/0.9) , nl , nl ] cat /sss2 set +% [(GET ) , sss , ( HTTP/0.9) , nl , nl ] cat /sss2 set + [(GET ) , sss , ( HTTP/0.9) , nl , + (HOST: ) , url , nl + nl ] cat /sss2 set sss2 message [(sm1.socket) (connect) [80 url]] extension 0 get /goo set @@ -37,6 +55,15 @@ [(cgiHttpToKeyValuePair) pp] extension /pp2 set } def +[(readHTTP0) +[(fd readHTTP0 result-str) + (Read data from fd until the connection is closed.) + (Example:) + $[(sm1.socket) (connect) [80 (www.math.kobe-u.ac.jp)]] extension $ + $ 0 get /goo set $ + $goo readHTTP0 /pp set pp message$ + $[(sm1.socket) (close) [goo]] extension $ +]] putUsages /readHTTP0 { /arg1 set [/fd /sss /pp /pp2 /nn] pushVariables @@ -57,17 +84,86 @@ arg1 } def -% oxMessageBody=FACET input-data +% ----------------------- server side ----------------------- +% command filename action +/cgiPolymake.polymakeName (polymake) def +%/cgiPolymake.polymakeName (polymake_dummy) def +%/cgiPolymake.polymakeName (hoge) def +/cgiPolymake.log 1 def + +[(cgiPolymake) +[(Make sm1 to a polymake server based on CGI/OoHG) + $ sm1 -q -s "[(parse) (cgi.sm1) pushfile] extension cgiPolymake quit " $ +]] putUsages +% Server-side-script +% oxMessageBody=action input-data-for-polymake +% t.t : oxMessageBody=FACETS++POINTS%0A1+0+0+%0A1+1+0+%0A1+0+1%0A +% t?oxMe... +% env CONTENT_LENGTH=57 sm1 -q -s "[(parse) (cgi.sm1) pushfile] extension cgiPolymake quit " ) nl + (Input
action polymake-data
) nl + (Example:

 ) nl
+    (FACETS  POINTS) nl
+    (1 0 0 ) nl
+    (1 1 0 ) nl
+    (1 0 1 ) nl
+    (

) nl + () nl + () nl + ] cat +def + +/cgi.body.http0 + (Content-Type: text/plain) +def /cgiPolymake.0 { /arg1 set [/sss /kv /comm /i /acti0 /pError] pushVariables [ /sss arg1 def +% Step 1. analyze the query string in URL encoding. [(cgiUrlEncodingToKeyValuePair) sss] extension /kv set kv (oxMessageBody) getNode /comm set +% [nl nl] cat message sss message kv message % for debug. +% Step 2. Extract action part and file part for polymake. comm (array) dc /comm set /i 0 def [ @@ -86,14 +182,17 @@ } for cgi.body { (string) dc } map cat /cgi.body set +% Step 3. Calling polymake % acti0 cgi.body /pError [ ] def -% bug: cgi.body --> oxsVarToFile(), value is not a string object ... +% cgi.body --> oxsVarToFile(), value is not a string object ... % [(polymake) (stringInOut://cgi.body) acti0] addStdoutStderr - /aaa cgi.body def - [(polymake) (stringInOut://aaa) acti0] addStdoutStderr +% It is not a bug; .body is removed from the variable name. + /cgi_body cgi.body def + [cgiPolymake.polymakeName (stringInOut://cgi_body.poly) acti0] addStdoutStderr oxshell pop pError [@@@stdout @@@stderr] append /pError set + /cgi.body cgi_body def ] pop popVariables } def @@ -112,4 +211,248 @@ ff1 message ff1 cgiPolymake.0 cgi.body message -} def \ No newline at end of file +} def + +/cgiReplyInHttp0 { + /arg1 set + [/ss /sskv] pushVariables + [ + /ss arg1 def + [[(Content-Body) ss] +% [(Content-Type) (text/plain)] + [(oxshell-stdout) [(cgiStringToUrlEncoding) @@@stdout] extension] + [(oxshell-stderr) [(cgiStringToUrlEncoding) @@@stderr] extension] + ] /sskv set + [(cgiKeyValuePairToHttpString) sskv] extension /arg1 set + ] pop + arg1 +} def + +% ------------ client side script --------------- +/cgiQueryPolymake.hostname (polymake.math.kobe-u.ac.jp) def +/cgiQueryPolymake.cginame (/cgi-bin/cgi-polymake.sh) def +%/cgiQueryPolymake { cgiQueryPolymake.curl } def +/cgiQueryPolymake { cgiQueryPolymake.native } def +/cgiQueryPolymake.curl { + /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 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 + [(cgiKeyValuePairToUrlEncodingString) ff] extension /ff set + [(POST ) , ff1 , ( HTTP/0.9) , nl , +% (Connection: Keep-Alive) , nl , + (HOST: ) cgiQueryPolymake.hostname , nl , + (Content-length: ) , ff length (dollar) dc , nl , nl + ff nl] cat /sss2 set +% step 2. Call the server and get the response in pp + [(sm1.socket) (connect) + [80 cgiQueryPolymake.hostname]] extension 0 get /goo set + [(sm1.socket) (write) [goo sss2]] extension + goo readHTTP0 /pp set + + % 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 + [(sm1.socket) (close) [goo]] extension + [(cgiHttpToKeyValuePair) pp] extension /pp2 set + +% step 3. Analyze the response. + [pp2 (Content-Body) getNode + pp2 (oxshell-stdout) getNode + pp2 (oxshell-stderr) getNode + ] /arg1 set + ] pop + popVariables + arg1 +} def + +/cgi.test1 { + (FACETS) + [(POINTS) nl + (1 0 0 ) nl + (1 1 0 ) nl + (1 0 1 ) nl + ] cat + cgiQueryPolymake message +} def +% Overrides doPolymake +%/doPolymake { doPolymake.OoHG } def +%/polymake.start { polymake.start.OoHG } def + +[(doPolymake.OoHG) +[(It first looks for local polymake. If there is, it calls the local polymake.) + (If not, it calls http://polymake.math.kobe-u.ac.jp/cgi-bin/cgi-polymake.sh) + (to make a computation in polymake.) + (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 +/doPolymake.OoHG { + /arg1 set + [/in-doPolymake.OoHG /pAction /pData /pNative /ptree + /pResult /pError + ] pushVariables + [ + arg1 0 get /pAction set + arg1 1 get /pData set + polymake.start.OoHG + + /pError [ ] def +%% step 1: polymake tfb ===> polymake native data + @@@polymake.k0.ccc ( polymake=Object; ) oxexecutestring + @@@polymake.k0.ccc ( QuoteMode(1); ) oxexecutestring + @@@polymake.k0.ccc [pData ( ;)] cat oxexecutestring + @@@polymake.k0.ccc oxpopcmo /ptree set + @@@polymake.k0.ccc ( QuoteMode(0); ) oxexecutestring + [(treeToPolymake) ptree] extension /pNative set +%% step 2: calling the polymake +% [(which) (polymake)] oxshell tag 0 eq + 1 % always call web service + { +% cgi-polymake + (Trying web service.) message + pAction pNative cgiQueryPolymake /doPolymake.OoHG.result set + doPolymake.OoHG.result /@@@doPolymake.vars set + [(regexec) (Not Found) [doPolymake.OoHG.result 0 get ]] + extension length 0 eq not { + doPolymake.OoHG.result message + (The polymake cgi seems to be out of service.) error + } { } ifelse + + doPolymake.OoHG.result 0 get /pNative set + + + pError doPolymake.OoHG.result rest append /pError set + } { +% local polymake + [(polymake) (stringInOut://pNative.poly) pAction] addStdoutStderr + oxshell pop + pError [@@@stdout @@@stderr] append /pError set + } ifelse +%% step 3: polymake native data to polymake tfb + [(polymake2tfb) (<) (stringIn://pNative) (>) (stringOut://pResult) + (2>) (stringOut://@@@stderr)] oxshell pop + pError [@@@stderr] append /pError set +%% step 4: get also tree style data. + @@@polymake.k0.ccc ( polymake=Object; ) oxexecutestring + @@@polymake.k0.ccc ( QuoteMode(1); ) oxexecutestring + @@@polymake.k0.ccc [pResult ( ;)] cat oxexecutestring + @@@polymake.k0.ccc oxpopcmo /ptree set + @@@polymake.k0.ccc ( QuoteMode(0); ) oxexecutestring + [pResult ptree pError] /arg1 set + ] pop + popVariables + arg1 +} def + +/polymake.start.OoHG { + (ox.k0.loaded) boundp { } + { [(parse) (ox.sm1) pushfile] extension + /@@@polymake.k0.ccc [ ] def + } ifelse + @@@polymake.k0.ccc [ ] eq { + k0connectr /@@@polymake.k0.ccc oxk0.ccc def /oxk0.ccc [ ] def + @@@polymake.k0.ccc oxsetmathcap @@@polymake.k0.ccc oxmathcap + } { } ifelse + @@@polymake.k0.ccc 0 get (closed) eq { + k0connectr /@@@polymake.k0.ccc oxk0.ccc def /oxk0.ccc [ ] def + @@@polymake.k0.ccc oxsetmathcap @@@polymake.k0.ccc oxmathcap + } { } ifelse + [(which) (polymake2tfb)] oxshell tag 0 eq { + (polymake2tfb is not installed in this system.) error + } { } ifelse +} 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 { + /doPolymake { doPolymake.OoHG } def + /polymake.start { polymake.start.OoHG } def + /cgiQueryPolymake { cgiQueryPolymake.curl } def +} def + +[(usePolymake.OoHG.native) +[(doPolymake = doPolymake.OoHG with cgiQueryPolymake.native) + (cf. doPolymake.OoHG) +]] 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) +]] putUsages + + + + + + \ No newline at end of file