=================================================================== RCS file: /home/cvs/OpenXM/src/OpenMath/elimi.java,v retrieving revision 1.1 retrieving revision 1.4 diff -u -p -r1.1 -r1.4 --- OpenXM/src/OpenMath/elimi.java 1999/11/10 21:25:48 1.1 +++ OpenXM/src/OpenMath/elimi.java 2000/03/16 09:14:52 1.4 @@ -1,5 +1,5 @@ /** - * $OpenXM$ + * $OpenXM: OpenXM/src/OpenMath/elimi.java,v 1.3 1999/12/09 00:32:36 tam Exp $ */ import JP.ac.kobe_u.math.tam.OpenXM.*; @@ -183,9 +183,9 @@ class elimi extends Applet implements ActionListener,R com += ")] gb"; debug("command: "+ com); - oxm.sendCMO(new CMO_STRING(com)); - oxm.sendSM(new SM(SM.SM_executeStringByLocalParser)); - oxm.sendSM(new SM(SM.SM_popString)); + oxm.send(new CMO_STRING(com)); + oxm.send(new SM(SM.SM_executeStringByLocalParser)); + oxm.send(new SM(SM.SM_popString)); }catch(java.io.IOException e){} } /* @@ -208,14 +208,23 @@ class elimi extends Applet implements ActionListener,R +"("+ ControlPort +","+ DataPort +")"); try{ + Runtime runtime = Runtime.getRuntime(); + + runtime.exec("sh -c \"xterm -name $OpenXM_HOME\""); + //runtime.getInputstream(); + //runtime.getOutput(); + //runtime.exec("sh -c \"/home/tam/OpenXM/lib/sm1/bin/oxlog /usr/X11R6/bin/xterm -name echo ${OpenXM_HOME} /home/tam/OpenXM/lib/sm1/bin/ox -ox /home/tam/OpenXM/lib/sm1/bin/ox_sm1_forAsir -data "+ DataPort +" -control "+ ControlPort +"\""); + + Thread.sleep(3000); + oxm = new OpenXM(host,ControlPort,DataPort); System.out.println("Connected."); - oxm.sendCMO(new CMO_STRING("(cohom.sm1) run ;\n")); - oxm.sendSM(new SM(SM.SM_executeStringByLocalParser)); + oxm.send(new CMO_STRING("(cohom.sm1) run ;\n")); + oxm.send(new SM(SM.SM_executeStringByLocalParser)); thread = new Thread(this); thread.start(); - }catch(java.io.IOException e){ + }catch(Exception e){ System.out.println("failed."); stop(); }