=================================================================== RCS file: /home/cvs/OpenXM/src/kan96xx/Doc/ox.sm1,v retrieving revision 1.23 retrieving revision 1.29 diff -u -p -r1.23 -r1.29 --- OpenXM/src/kan96xx/Doc/ox.sm1 2003/07/21 07:31:59 1.23 +++ OpenXM/src/kan96xx/Doc/ox.sm1 2003/12/08 05:50:31 1.29 @@ -1,4 +1,4 @@ -%%%%%%%%%%% $OpenXM: OpenXM/src/kan96xx/Doc/ox.sm1,v 1.22 2003/01/01 02:03:41 takayama Exp $ +%%%%%%%%%%% $OpenXM: OpenXM/src/kan96xx/Doc/ox.sm1,v 1.28 2003/12/04 10:35:24 takayama Exp $ /ox.sm1.myname (ox-new.sm1) def @@ -99,15 +99,37 @@ ox.version [(Version)] system_variable gt ( ) (client oxgetsp --- get stack pointer, client oxgeterrors --- get all errors) (cleint oxisData, client oxreset, client oxshutdown) - (oxhelp for this message, [(oxWatch) client] extension to start a log.) + (oxhelp for this message) + ([(oxWatch) client] extension to start a log.) + $ ex 1. (ox.sm1) run sm1connectr [(oxWatch) oxsm1.ccc] extension $ + $ oxsm1.ccc ( [(cmoLispLike) 0] extension ) oxsubmit $ + $ oxsm1.ccc ( [(cmoLispLike) 1] extension ) oxsubmit $ ([(oxSerial)] extension serial-number-of-out-going-ox-packet.) (oxpopcmo1, oxpopcmo2, sm1connectr ox_launch, ox_launch_nox) (oxNoX : set an environment to invoke oxlog without xterm and to call oxlog with >& /dev/null) $ ex 1. (ox.sm1) run oxNoX sm1connectr $ $ ex 2. (ox.sm1) run oxNoX (x^2-1). fctr pmat ; $ + $ $ + $cf. extension-oxLog $ ] ] putUsages +[(extension-oxLog) +[ +$Take the log of communication in files.$ +$[(oxLog) client logfile_for_incomming_data logfile_for_outgoing_data] extension $ +$Example:$ +$ [(parse) (ox.sm1) pushfile] extension$ +$ sm1connectr$ +$ (i.t) (w) file /ii set$ +$ (o.t) (w) file /oo set$ +$ [(oxLog) oxsm1.ccc ii oo] extension $ +$ [(oxWatch) oxsm1.ccc ] extension$ +$ oxsm1.ccc 1 oxpushcmo ;$ +$ oxsm1.ccc oxpopcmo ;$ +$ [(oxLogStop) oxsm1.ccc] extension$ +]] putUsages + /oxconnect { /arg1 set [(oxCreateClient) arg1 aload pop] extension @@ -492,10 +514,12 @@ ox.verbose { oxhelp } { } ifelse %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% Functions for OX-RFC 103 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +[(chattr) 0 /ctrlC-hook] extension /ctrlC-hook { ox103_reset } def /ox103_disable { + [(chattr) 0 /ctrlC-hook] extension /ctrlC-hook { } def } def @@ -508,6 +532,7 @@ ox.verbose { oxhelp } { } ifelse [ /L [(oxGetClientList)] extension def (In ox103_reset...) message + (killall in oxshell...) message [(killall)] oxshell pop /n L length def 0 1 n 1 sub { /i set @@ -607,6 +632,9 @@ ox.verbose { oxhelp } { } ifelse /sm1connectr { [/in-sm1connectr /pass /peer /data /control ] pushVariables [ + [(getServerEnv) (bin/ox_sm1)] extension tag 0 eq { + (Server bin/ox_sm1 is not found.) error + }{ } ifelse /pass [(oxGenPass)] extension def /peer [(oxGetPort) (localhost)] extension def /data peer 1 get toString def @@ -694,6 +722,33 @@ ox.verbose { oxhelp } { } ifelse $ [(dc2.math.kobe-u.ac.jp) (taka)] sm1connectr-ssh /ox.ccc set $ ]] putUsages +%%% ntl +/ntlconnectr { + [/in-ntlconnectr /pass /peer /data /control ] pushVariables + [ + [(getServerEnv) (bin/ox_ntl)] extension tag 0 eq { + (Server bin/ox_ntl is not found.) error + }{ } ifelse + /pass [(oxGenPass)] extension def + /peer [(oxGetPort) (localhost)] extension def + /data peer 1 get toString def + /control peer 3 get toString def + peer message + [ + oxstart100 + Xm_noX { ( -nox ) } { } ifelse + ( -oxserver bin/ox_ntl -e ) ( -reverse ) + ( -data ) data ( -control ) control ( -pass ) pass + ( )] cat execve + [(oxCreateClient2) peer 0 pass] extension /oxntl.ccc set + %% 0 means connect from only localhost. + (The server is binded to the variable oxntl.ccc) message +% oxntl.ccc.init + oxntl.ccc + ] pop + popVariables +} def + %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% Aux functions for ox_asir %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @@ -1395,6 +1450,10 @@ oxasir.verbose { /asirconnectr { [/in-asirconnectr /pass /peer /data /control /oxasir] pushVariables [ + [(getServerEnv) (bin/ox_asir)] extension tag 0 eq { + (Server bin/ox_sm1 is not found.) error + }{ } ifelse + /pass [(oxGenPass)] extension def /peer [(oxGetPort) (localhost)] extension def /data peer 1 get toString def @@ -1437,6 +1496,10 @@ oxasir.verbose { /k0connectr { [/in-k0connectr /pass /peer /data /control ] pushVariables [ + [(getServerEnv) (bin/ox_k0)] extension tag 0 eq { + (Server bin/ox_sm1 is not found.) error + }{ } ifelse + /pass [(oxGenPass)] extension def /peer [(oxGetPort) (localhost)] extension def /data peer 1 get toString def @@ -1457,3 +1520,5 @@ oxasir.verbose { popVariables arg1 } def +/@@@polymake.k0.ccc [ ] def +