| version 1.5, 2000/12/12 13:58:21 |
version 1.6, 2000/12/14 04:35:16 |
|
|
| /* $OpenXM: OpenXM/src/k097/lib/ox/ox.k,v 1.4 2000/12/11 13:53:28 takayama Exp $ */ |
/* $OpenXM: OpenXM/src/k097/lib/ox/ox.k,v 1.5 2000/12/12 13:58:21 takayama Exp $ */ |
| |
|
| /* Load_sm1(["ox.sm1",AddString([GetEnv("OpenXM_HOME"),"/lib/sm1/ox.sm1"])], |
/* Load_sm1(["ox.sm1",AddString([GetEnv("OpenXM_HOME"),"/lib/sm1/ox.sm1"])], |
| "ox.sm1.loaded"); */ |
"ox.sm1.loaded"); */ |
| Line 118 class OX extends OXcontrol { |
|
| Line 118 class OX extends OXcontrol { |
|
| control = super.getControl(); |
control = super.getControl(); |
| sm1(" [(oxGetPort1) (localhost)] extension /peer set "); |
sm1(" [(oxGetPort1) (localhost)] extension /peer set "); |
| sm1(" /data peer 1 get def "); |
sm1(" /data peer 1 get def "); |
| control.pushCMO(data); /* BUG: control.pushCMO(data) does not work. |
/* BUG: control.pushCMO(data) does not work. |
| Use control = super.getControl(); */ |
Use control = super.getControl(); */ |
| control.pushCMO(name); |
control.pushCMO([[data],name]); |
| control.pushCMD(SM_control_spawn_server); |
control.pushCMD(SM_control_spawn_server); |
| engineID = control.popCMO(); |
engineID = control.popCMO(); |
| print("engineID=");Println(engineID); |
print("engineID=");Println(engineID); |