[BACK]Return to httpd-asir.sm1 CVS log [TXT][DIR] Up to [local] / OpenXM / src / kan96xx / Doc

Diff for /OpenXM/src/kan96xx/Doc/httpd-asir.sm1 between version 1.10 and 1.13

version 1.10, 2001/04/23 13:34:00 version 1.13, 2001/08/23 00:49:00
Line 1 
Line 1 
 %% $OpenXM: OpenXM/src/kan96xx/Doc/httpd-asir.sm1,v 1.9 2001/04/22 04:55:07 takayama Exp $  %% $OpenXM: OpenXM/src/kan96xx/Doc/httpd-asir.sm1,v 1.12 2001/08/23 00:16:55 takayama Exp $
 %% http server by sm1  %% http server by sm1
   
   [(parse) (httpd.sm1) pushfile] extension pop
   
 /httpd.port 1200 def  /httpd.port 1200 def
   /httpd.image.name (kobeuniv2.jpg) def
   /httpd.image.type (jpeg) def
   
 /httpd.initialization  /httpd.initialization
 %% Put initialization codes here.  %% Put initialization codes here.
Line 20  def
Line 24  def
   oxasir.ccc oxsetmathcap    oxasir.ccc oxsetmathcap
 } ifelse  } ifelse
   
   /webasir { asirweb } def
 /asirweb {  /asirweb {
  [/rrr ] pushVariables   [/rrr ] pushVariables
  [   [
Line 37  def
Line 42  def
   popVariables    popVariables
 } def  } 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 httpd.server.fd message  
 } def  
   
 /httpd_stopserver {  
    [(sm1.socket) (close) httpd.server.fd ] extension message  
 } def  
   
 /send_packet {  
   /arg1 set  
   [(sm1.socket) (write) [httpd.server.fd 0 get arg1]] extension message  
 } def  
   
 /sendln {  
  /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) (select) [httpd.server.fd 0 get 0]] extension {  
     (Warning: your peer closed the connection. Do not send the data.) message  
   } {  
     [(sm1.socket) (write) [httpd.server.fd 0 get mmm]] extension message  
   } ifelse  
  ] pop  
  popVariables  
 } def  
   
 /httpd {  
   /httpd.serial 0 def  
   /httpd.history [ ] def  
   {  
     httpd_startserver ;  
     httpd_action ;  
     httpd_stopserver ;  
     (5 sleep) system  
     httpd.serial 1 add /httpd.serial set  
   } loop  
 } def  
   
 /httpd_action {  /httpd_action {
   [/in-httpd /ff /httpd.com /httpd.result /sss    [/in-httpd /ff /httpd.com /httpd.result /sss
    /sss.engine /sss.web /err     /sss.engine /sss.web /err
      /oxserver.vname
   ] pushVariables    ] pushVariables
   [    [
   {    {
Line 102  def
Line 60  def
           (------------  start ----------------------) message            (------------  start ----------------------) message
              ff message               ff message
           (-----------------------------------------) message            (-----------------------------------------) message
              ff removeGET webstringToAscii /httpd.com set               ff 1 copy askToSendFile /httpd.sendFile set
              httpd.com message               httpd.sendFile tag 0 eq {
                  ff removeGET webstringToAscii /httpd.com set
                } {
                  /httpd.com (NONE) def
                } ifelse
                [(httpd.com=) httpd.com] cat message
                (httpd.sendFile=) messagen httpd.sendFile message
           (------------  end ----------------------) message            (------------  end ----------------------) message
           (   ) message            (   ) message
           httpd.serial 0 eq {            httpd.serial 0 eq {
             /httpd.com  httpd.initialization def              /httpd.com  httpd.initialization def
           } { } ifelse            } { } ifelse
             httpd.sendFile tag 0 eq { }
             {
               httpd.sendFile httpd.image.type send-image
               exit  %% exit the loop LOOP-A
             } ifelse
           httpd.com metaCommand {            httpd.com metaCommand {
             httpd.textarea.valid {              httpd.textarea.valid {
                 /oxserver.vname
                    [Oxserver_history_variable httpd.serial toString] cat
                 def
               oxasir.ccc                oxasir.ccc
                [(if (1) {)  httpd.com  (; };)] cat  %% original     (if (1) {)  httpd.com  (; };)
                  [(if (1) {)
                   oxserver.vname (=) httpd.com
                   (; };)
                   oxserver.vname (;)
                  ] cat
               oxexecutestring ;                oxexecutestring ;
             }{              }{
               send-page-warning  exit                send-page-warning  exit
Line 178  def
Line 155  def
               } ifelse                } ifelse
              (<font color="green"> Output-) httpd.serial toString               (<font color="green"> Output-) httpd.serial toString
              (: </font> )               (: </font> )
                (<a href="http://localhost:)  httpd.port toString
                (/?msg=httpdAsirMeta+Pretty+) httpd.serial toString
                ("> (in pretty format) </a>)
                %%(<a href=") httpd.image.name ("> (in pretty format) </a>) %%test
               httpd.result preformatHTML                httpd.result preformatHTML
                 httpd.result.history httpd.result append /httpd.result.history set
             ] cat              ] cat
             send-page-3  exit              send-page-3  exit  %% exit the loop LOOP-A
           } { exit } ifelse  %% metaCommand            } { exit } ifelse  %% metaCommand
         } ifelse          } ifelse
   } loop    } loop  %% LOOP-A
   ] pop    ] pop
   popVariables    popVariables
 } def  } def
   
   
 /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  
 %%   (Last-Modified: Wed, 23 Aug 2000 11:19:27 GMT) sendln  
 %%   (ETag: "1f8f-5df-39a3b33f") sendln  
 %%   (Accept-Ranges: bytes) sendln  
 %%   (Content-Length: 10) sendln  
    (Connection: close) sendln  
 %   (Content-Type: text/plain) sendln  
    (Content-Type: text/html) sendln  
    0 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  
   
 /send-page-2 {  
    (HTTP/0.9 200 OK) sendln  
 %%   (Content-Length: 10) sendln  
    (Connection: close) sendln  
    (Content-Type: text/html) sendln  
    0 sendln  
    (<FORM NAME="myFORM">) sendln  
    (<INPUT TYPE="TEXT" NAME="Num">) sendln  
    (</FORM>) sendln  
    0 sendln  
    [(flush)] extension  
 } def  
   
 /send-page-3 {  
   /arg1 set  
   [/in-send-page-3 /result] pushVariables  
   [  
    /result arg1 def  
    (HTTP/0.9 200 OK) sendln  
    (Connection: close) sendln  
    (Content-Type: text/html) sendln  
    0 sendln  
 %%   (<FORM NAME="myFORM" METHOD="POST">) sendln  
    result sendln  
    (<FORM NAME="myFORM">) sendln  
    (<INPUT TYPE=submit VALUE="submit">) 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  /httpd.asirman
  ("http://www.math.sci.kobe-u.ac.jp/OpenXM/1.1.3/doc/asir2000/html-jp/man_toc.html")   ("http://www.math.sci.kobe-u.ac.jp/OpenXM/1.1.3/doc/asir2000/html-jp/man_toc.html")
 def  def
Line 301  def
Line 228  def
  popVariables   popVariables
 } def  } 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  
   [  
     arg1 0 get /s1 set  
     arg1 1 get /s2 set  
   
     48 s1 le  s1 57 le and {  % 0, ..., 9  
       s1 48 sub /c set  
     }{ } ifelse  
     65 s1 le  s1 70 le and {  % A, ..., F  
       s1 65 sub 10 add /c set  
     }{ } ifelse  
     97 s1 le  s1 102 le and {  % a, ..., f  
       s1 97 sub 10 add /c set  
     }{ } ifelse  
     c 16 mul /c set  
   
     48 s2 le  s2 57 le and {  % 0, ..., 9  
       s2 48 sub /c2 set  
     }{ } ifelse  
     65 s2 le  s2 70 le and {  % A, ..., F  
       s2 65 sub 10 add /c2 set  
     }{ } ifelse  
     97 s2 le  s2 102 le and {  % a, ..., f  
       s2 97 sub 10 add /c2 set  
     }{ } ifelse  
     c c2 add /arg1 set  
   ] pop  
   popVariables  
   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 /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  
      i0 1 s length 1 sub {  
        /i set  
        s2 j << s i get (string) dc >> put  
        j 1 add /j set  
      } for  
      /arg1 s2 def  
   ] pop  
   arg1  
 } def  
   
 /webstringToAscii {  
   /arg1 set  
   [/in-webstringToAscii /s /i /j /c /n] pushVariables  
   [  
      /s arg1 def  
      s (array) dc /s set  
      /j 0 def /n s length def  
      /i 0 def  
      {  
        s i get /c set  
        c 32 eq { exit } { } ifelse  
        c 37 eq {  % c == %  
          [s i 1 add get s i 2 add get] fromHex /c set  
          s j c put  
          j 1 add /j set  
          i 3 add /i set  
        } {  
          c 43 eq { % c == +  
            s j 32 put  
            j 1 add /j set  
            i 1 add /i set  
           } {  
             c 13 eq { % c == 0xd  
               i 1 add /i set  
             } {  
               s j c put  
               j 1 add /j set  
               i 1 add /i set  
             } ifelse  
          } ifelse  
        } ifelse  
        i n ge { exit } {  } ifelse  
      } loop  
      s j carN /s set  
      s { (string) dc } map cat /arg1 set  
   ] pop  
   popVariables  
   arg1  
 } def  
   
 /preformatHTML {  
   /arg1 set  
   [/in-preformatHTML /sss /c] pushVariables  
   [  
      /sss arg1 def  
      sss (array) dc /sss set  
      sss {  
        /c set  
        [  
           c 60 eq {  
             /c (&lt) def  
           } {  } ifelse  
           c 62 eq {  
             /c (&gt) def  
           } {  } ifelse  
           c 38 eq {  
             /c (&amp) def  
           } {  } ifelse  
         ] pop  
         c (string) dc  
      } map cat /sss set  
      [(<pre> ) sss ( </pre> )] cat /arg1 set  
   ] pop  
   popVariables  
   arg1  
 } def  
   
 /metaCommand {  /metaCommand {
   /arg1 set    /arg1 set
   [/in-metaCommand /msg /result] pushVariables    [/in-metaCommand /msg /result /msg2 /nn] pushVariables
   [    [
     /msg arg1 def      /msg arg1 def
     /result 1 def      /result 1 def
       msg 1 copy toTokensBySpace /msg2 set
       msg2 length 3 eq {
         msg2 0 get (httpdAsirMeta) eq
         msg2 1 get (Pretty) eq and
         {
           msg2 2 get . (integer) dc /nn set
   
           %%BUG: This part should be rewritten.
           %% Reformat the "nn"-th result by tex and send it.
           httpd.result.history nn get message
           httpd.image.name httpd.image.type send-image
           %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
   
           /result 0 def
         } { } ifelse
       }{ } ifelse
     msg (httpdAsirMeta quit) eq {      msg (httpdAsirMeta quit) eq {
        oxasir.ccc oxshutdown         oxasir.ccc oxshutdown
        send-page-bye         send-page-bye
Legend:
Removed from v.1.10  
changed lines
  Added in v.1.13
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>