===================================================================
RCS file: /home/cvs/OpenXM/src/kan96xx/Doc/cgi.sm1,v
retrieving revision 1.12
retrieving revision 1.13
diff -u -p -r1.12 -r1.13
--- OpenXM/src/kan96xx/Doc/cgi.sm1	2004/12/29 01:42:13	1.12
+++ OpenXM/src/kan96xx/Doc/cgi.sm1	2013/09/22 01:07:38	1.13
@@ -1,4 +1,4 @@
-% $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.12 2004/12/29 01:42:13 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.
@@ -89,6 +89,7 @@
 /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)
@@ -111,6 +112,9 @@
        cgiPolymake.errorMessage message  exit
    } { } ifelse
    [(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 length 0 eq  {
        cgiPolymake.errorMessage message  exit