=================================================================== RCS file: /home/cvs/OpenXM/src/kan96xx/Doc/cgi.sm1,v retrieving revision 1.15 retrieving revision 1.17 diff -u -p -r1.15 -r1.17 --- OpenXM/src/kan96xx/Doc/cgi.sm1 2013/09/22 08:07:51 1.15 +++ OpenXM/src/kan96xx/Doc/cgi.sm1 2013/10/11 01:08:35 1.17 @@ -1,4 +1,4 @@ -% $OpenXM: OpenXM/src/kan96xx/Doc/cgi.sm1,v 1.14 2013/09/22 05:17:17 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 % is a shell script to call sm1/polymake as a CGI script. % Override as /doPolymake {doPolymake.OoHG} def if you need. @@ -231,8 +231,9 @@ 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 +%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 [/saction /sfile /ff /ff1 /sss2 /goo /pp /pp2 /key /body /fd] pushVariables @@ -337,12 +338,15 @@ 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) +[(doPolymake.local calls the local polymake.) + (This function calls http://polymake.math.kobe-u.ac.jp/cgi-bin/cgi-polymake.sh) (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.) - (If you use curl to call the server set as follows after loading cgi.sm1) - (/cgiQueryPolymake { cgiQueryPolymake.curl } def) + (If you use curl to call the server execute) + ( usePolymake.OoHG.curl) + (after loading cgi.sm1) ]] putUsages /doPolymake.OoHG { /arg1 set @@ -369,7 +373,7 @@ def % 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 @@ -419,6 +423,50 @@ def (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 { + [(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 + + + \ No newline at end of file