===================================================================
RCS file: /home/cvs/OpenXM/src/kan96xx/Doc/httpd-asir.sm1,v
retrieving revision 1.1
retrieving revision 1.8
diff -u -p -r1.1 -r1.8
--- OpenXM/src/kan96xx/Doc/httpd-asir.sm1	2001/04/20 13:38:31	1.1
+++ OpenXM/src/kan96xx/Doc/httpd-asir.sm1	2001/04/22 04:35:46	1.8
@@ -1,61 +1,100 @@
-%% $OpenXM$
+%% $OpenXM: OpenXM/src/kan96xx/Doc/httpd-asir.sm1,v 1.7 2001/04/22 01:02:27 takayama Exp $
 %% http server by sm1
+
+/httpd.port 1200 def
+
+/httpd.initialization
+%% Put initialization codes here.
+ [
+  ("Asirweb version 0.80. "+
+   " Risa/Asir oxasir version "+rtostr(version());)
+ ] cat
+def
+
 [(parse) (oxasir.sm1) pushfile] extension 
 (oxasir.started) boundp { 
 } {
+  %% Initialize oxasir.
   [(x^2-1) (x)] fctr pop
+  oxasir.ccc oxmathcap
+  oxasir.ccc oxsetmathcap
 } ifelse
 
-/startserver {
-   [(sm1.socket) (open) [1200 (localhost)]] extension /server.fdAndPort set
-   (sm1.socket.open returns  ) messagen server.fdAndPort message
-   [(sm1.socket) (accept) [server.fdAndPort 0 get]] extension
-   /server.fd set
+/asirweb {
+ [/rrr ] pushVariables
+ [
+  %% This procedure to generate port number might fail.
+  [(oxGenPass)] extension . (integer) dc  /rrr set
+  rrr << rrr 20000 idiv 20000 mul >> sub /rrr set
+  /httpd.port 1200 rrr add def
+  httpd.port message 
+
+  [(sleep 3; netscape -geometry 800x500 http://localhost:)
+    httpd.port toString
+   ( &)] cat system
+   httpd ;
+  ] pop
+  popVariables
+} def
+
+/httpd_startserver {
+   [(sm1.socket) (open) [httpd.port (localhost)]] extension 
+   /httpd.server.fdAndPort set
+   (sm1.socket.open returns  ) messagen httpd.server.fdAndPort message
+   [(sm1.socket) (accept) [httpd.server.fdAndPort 0 get]] extension
+   /httpd.server.fd set
    (connected.) message
-   (sm1.socket.accept returns  ) messagen server.fd message
+   (sm1.socket.accept returns  ) messagen httpd.server.fd message
 } def
 
-/stopserver {
-   [(sm1.socket) (close) server.fd ] extension message
+/httpd_stopserver {
+   [(sm1.socket) (close) httpd.server.fd ] extension message
 } def
 
-/send {
+/send_packet {
   /arg1 set
-  [(sm1.socket) (write) [server.fd 0 get arg1]] extension message
+  [(sm1.socket) (write) [httpd.server.fd 0 get arg1]] extension message
 } def
 
 /sendln {
-  /mmm set
+ /arg1 set
+ [/in-sendln /mmm] pushVariables
+ [ arg1 /mmm set
   mmm tag 5 eq {
     [mmm 10 (string) dc] cat /mmm set
   }{
     10 (string) dc /mmm set
   } ifelse
-  [(sm1.socket) (write) [server.fd 0 get mmm]] extension message
+  [(sm1.socket) (write) [httpd.server.fd 0 get mmm]] extension message
+ ] pop
+ popVariables
 } def
 
 /httpd {
+  /httpd.serial 0 def
+  /httpd.history [ ] def
   {
-    startserver ;
-    action ;
-    stopserver ;
+    httpd_startserver ;
+    httpd_action ;
+    httpd_stopserver ;
     (5 sleep) system 
+    httpd.serial 1 add /httpd.serial set
   } loop    
 } def
 
-/action {
+/httpd_action {
+  [/in-httpd /ff /httpd.com /httpd.result /sss
+   /sss.engine /sss.web /err
+  ] pushVariables
+  [
   {
-   /httpd.com.old ( ) def
-   [(sm1.socket) (select) [server.fd 0 get -1]] extension 
-%%                                          wait for ever
-   {
-        [(sm1.socket) (read) [server.fd 0 get ]] extension /ff set
+       [(sm1.socket) (select) [httpd.server.fd 0 get -1]] extension 
+       %%     wait for ever
+        [(sm1.socket) (read) [httpd.server.fd 0 get ]] extension /ff set
         ff length 0 eq {
            (connection is closed.) message
         }
-        ff (quit) eq
-        { (We exit the function httpd) message exit }
-        { %% [(SigIgn) 0] system_variable
+        {
           (------------  start ----------------------) message
              ff message
           (-----------------------------------------) message
@@ -63,30 +102,90 @@
              httpd.com message
           (------------  end ----------------------) message
           (   ) message
-          oxasir.ccc 
-            [(if (1) {)  httpd.com  (};)] cat
-          oxexecutestring ;
-          oxasir.ccc oxpopstring /httpd.result set
-          /httpd.com.old httpd.com def
-          (------------- result -------------) message
-          httpd.result message
-          (----------------------------------) message
-          (  ) message
-          [(Input:)  (<pre> ) httpd.com (</pre>) (<br>)
-           (Output:) (<pre>)
-            httpd.result 
-            (</pre>) 
-          ] cat
-          send-page-3  exit
-          %% [(SigIgn) 1] system_variable
+          httpd.serial 0 eq {
+            /httpd.com  httpd.initialization def 
+          } { } ifelse
+          httpd.com metaCommand {
+            httpd.textarea.valid {
+              oxasir.ccc 
+               [(if (1) {)  httpd.com  (; };)] cat
+              oxexecutestring ;
+            }{
+              send-page-warning  exit
+            } ifelse
+            [(oxReq) oxasir.ccc SM_dupErrors ] extension pop
+
+            [(oxReq) oxasir.ccc SM_popCMO ] extension pop
+            [(oxReq) oxasir.ccc SM_popString ] extension pop
+            [(flush)] extension pop
+            %% Select inputs for interruption.
+            %% Wait by the spin lock.
+            {
+              [(oxMultiSelect) [oxasir.ccc] 1] extension 1 get 0 get
+              /sss.engine set
+              [(sm1.socket) (mselect)
+                [[httpd.server.fd 0 get] 1]
+              ] extension 0 get /sss.web set
+              /sss [sss.engine sss.web] def
+              sss.engine { exit } { } ifelse
+              sss.web    { exit } { } ifelse
+            } loop
+            sss message
+
+            sss 0 get {
+                [(oxGet) oxasir.ccc] extension  /err          set
+                [(oxGet) oxasir.ccc] extension  /httpd.result set
+                %% oxasir.ccc oxpopstring /httpd.result set
+            } {
+                oxasir.ccc oxreset
+                oxasir.ccc ("computation is interrupted.";) oxexecutestring ;
+                oxasir.ccc oxpopstring
+                /httpd.result set 
+                exit
+            } ifelse
+            (------------- result -------------) message
+            httpd.result message
+            (----------------------------------) message
+            (  ) message
+
+            err message
+            err [ ] eq  { 
+              /httpd.history 
+                httpd.history 
+                [10 (string) dc 
+                 (/**** ) httpd.serial toString ( ****/) 
+                 10 (string) dc
+                  httpd.com 
+                 (;)  %% add extra ;
+                 ] cat
+                append 
+              def
+            } {
+              oxasir.ccc cleanErrors
+              [httpd.result 10 (string) dc err toString] cat
+              /httpd.result set
+            } ifelse
+
+            [httpd.serial 0 eq { } {
+                (<title> asirweb </title> )
+                (<font color="blue"> Input-) httpd.serial toString
+                 (: </font> )  
+                (<pre> ) httpd.com (</pre>) (<br>)
+              } ifelse
+             (<font color="green"> Output-) httpd.serial toString
+             (: </font> ) 
+             (<pre>) httpd.result (</pre>) 
+            ] cat
+            send-page-3  exit
+          } { exit } ifelse  %% metaCommand
         } ifelse
-   }
-   {  } ifelse
   } loop
+  ] pop
+  popVariables
 } def
 
 
-/send-page-1 {
+/send-page-bye {
    (HTTP/0.9 200 OK) sendln
 %%   (Date: Sun, 18 Mar 2001 02:54:50 GMT) sendln
 %%   (Server: sm1/0.1 (Unix)) sendln
@@ -95,9 +194,13 @@
 %%   (Accept-Ranges: bytes) sendln
 %%   (Content-Length: 10) sendln
    (Connection: close) sendln
-   (Content-Type: text/plain) sendln
+%   (Content-Type: text/plain) sendln
+   (Content-Type: text/html) sendln
    0 sendln
-   (HOGE HOGE!) sendln
+   (<html>) sendln
+   (Shutdown the engine. <br>) sendln
+   (See you! <a href="http://www.openxm.org"> asirweb </a>) sendln
+   (</html>) sendln
    0 sendln
    [(flush)] extension
 } def
@@ -128,20 +231,99 @@
    result sendln
    (<FORM NAME="myFORM">) sendln
    (<INPUT TYPE=submit VALUE="submit">) sendln
-   (<textarea name=msg rows=10 cols="62" wrap="soft"></textarea>) sendln
+   [(<textarea name=) httpd.textarea.name 
+    ( rows=10 cols="80" wrap="soft"></textarea>)] cat sendln
    (</FORM>) sendln
+   send-menu-1
    0 sendln
    [(flush)] extension
   ] pop
   popVariables
 } def
 
+/httpd.asirman
+ ("http://www.math.sci.kobe-u.ac.jp/OpenXM/1.1.3/doc/asir2000/html-jp/man_toc.html")
+def
+/httpd.asirman.index
+  ("http://www.math.sci.kobe-u.ac.jp/OpenXM/1.1.3/doc/asir2000/html-jp/man_262.html#SEC262")
+def
+/httpd.asir.intro
+   ("http://www.math.sci.kobe-u.ac.jp/~taka/asir-book-html/main")
+def
+/send-menu-1 {
+  
+  (FILE:) sendln
+  [$<a href="http://localhost:$ httpd.port toString
+   $/?msg=httpdAsirMeta+quit"> Shutdown the asir server. </a>, $
+  ] cat sendln
+%%  [$<a href="http://localhost:$ httpd.port toString
+%%   $/?msg=httpdAsirMeta+interrupt"> interrupt </a>, $
+%%  ] cat sendln
+  [$<a href="http://localhost:$ httpd.port toString
+   $/?msg=httpdAsirMeta+save"> save. </a>, $
+  ] cat sendln
+  ( <spacer type=horizontal size=80> ) sendln
 
+  (HELP:) sendln
+  [(<font color="red"> 
+    <a href=) httpd.asirman ( > AsirManual (Ja) </a> </font>, )] cat sendln
+  [(<font color="purple"> 
+    <a href=) httpd.asirman.index ( > Index (Ja) </a> </font>, )] cat sendln
+  [(<font color="blue"> 
+    <a href=) httpd.asir.intro ( > Intro (Ja) </a> </font>, )] cat sendln
+} def
+
+/send-page-save {
+ [/in-send-page-save /i] pushVariables
+ [
+   (HTTP/0.9 200 OK) sendln
+   (Connection: close) sendln
+   (Content-Type: text/plain) sendln
+   0 sendln
+   (/* Saved the following to sm1out.txt */) sendln
+   (/* Save the following by your browser as a text file. */) sendln
+   
+   0 1 httpd.history length 1 sub {
+     /i set
+     httpd.history i get sendln
+   } for
+   ( end$) sendln
+   0 sendln
+   [(flush)] extension
+   [(PrintDollar) 1] system_variable
+   httpd.history output
+   [(PrintDollar) 0] system_variable
+ ] pop
+ popVariables
+} def
+
+/send-page-warning {
+   (HTTP/0.9 200 OK) sendln
+   (Connection: close) sendln
+   (Content-Type: text/html) sendln
+   0 sendln
+   (You cannot execute oxasir without a session key! <br>) sendln
+   0 sendln
+   [(flush)] extension
+} def
+
 /stopclient {
   [(sm1.socket) (close) [client.fdAndPort 0 get] ] extension message
 } def
 
 
+/cleanErrors {
+  /arg1 set
+  [/in-cleanErrors /clientt /spp] pushVariables
+  [
+    /clientt arg1 def
+    clientt oxgetsp (integer) dc /spp set
+    clientt spp oxpops
+  ] pop
+  popVariables
+} def
+
+
 /fromHex {
   /arg1 set
   [/in-fromHex /s1 /s2 /c /c2] pushVariables
@@ -175,15 +357,67 @@
   arg1
 } def
 
+/randomName {
+  [/in-randomName /sss /rrr ] pushVariables
+  [
+    %% Seed name
+    /sss [ 97 97 97 97 97 97 97 97 97 97 ] def  %% 97 == 'a'
+    %% This procedure to generate port number might fail.
+    sss {
+      [
+        [(oxGenPass)] extension .. /rrr set
+        [(tdiv_qr) rrr (26)..] mpzext 1 get /rrr set
+      ] pop
+      rrr (integer) dc add 
+    } map
+    /sss set
+    sss {(string) dc} map cat /arg1 set
+  ] pop
+  popVariables
+  arg1
+} def
+
+(httpd.textarea.name) boundp { }
+ {
+    /httpd.textarea.name  randomName def
+    /httpd.textarea.name.aaa
+       [(GET /?) httpd.textarea.name] cat
+       (array) dc
+    def
+ } ifelse
+
+%% remove GET /?msg=
 /removeGET {
   /arg1 set
-  [/in-removeGET /s /s2 /i /j] pushVariables
+  [/in-removeGET /s /s2 /i /j /i0
+   /tname
+  ] pushVariables
   [
      /s arg1 def
+     /httpd.textarea.valid 1 def
      s 1 copy /s2 set
      s (array) dc /s set
+
+     /tname  [  ] def
+     0 1 s length 1 sub {
+       /i0 set
+       s i0 get 61 eq {  %% 61 is = 
+         i0 1 add /i0 set
+         tname message
+         httpd.textarea.name.aaa message
+         tname httpd.textarea.name.aaa eq {
+           /httpd.textarea.valid 1 def
+         } {
+           /httpd.textarea.valid 0 def
+           (Warning: got an invalid name for the text field.) message
+         } ifelse
+         exit
+       } { } ifelse
+       tname s i0 get append /tname set
+     } for 
+
      /j 0 def
-     10 1 s length 1 sub {
+     i0 1 s length 1 sub {
        /i set
        s2 j << s i get (string) dc >> put
        j 1 add /j set
@@ -228,7 +462,34 @@
      } loop
      s j carN /s set
      s { (string) dc } map cat /arg1 set
+  ] pop
+  popVariables
+  arg1
+} def
+
+/metaCommand {
+  /arg1 set
+  [/in-metaCommand /msg /result] pushVariables
+  [
+    /msg arg1 def
+    /result 1 def
+    msg (httpdAsirMeta quit) eq {
+       oxasir.ccc oxshutdown
+       send-page-bye
+       quit
+       /result 0 def
+    } { } ifelse
+    msg (httpdAsirMeta save) eq {
+       send-page-save
+       /result 0 def
+    } { } ifelse
+    msg (httpdAsirMeta interrupt) eq {
+       oxasir.ccc oxreset
+       (Interrupted! <br>) send-page-3
+       /result 0 def
+    } { } ifelse
+    /arg1 result def
   ] pop
   popVariables
   arg1
-} def
\ No newline at end of file
+} def