version 1.1, 1999/11/10 21:25:48 |
version 1.2, 1999/11/21 20:38:41 |
|
|
/** |
/** |
* $OpenXM$ |
* $OpenXM: OpenXM/src/OpenMath/elimi.java,v 1.1 1999/11/10 21:25:48 tam Exp $ |
*/ |
*/ |
|
|
import JP.ac.kobe_u.math.tam.OpenXM.*; |
import JP.ac.kobe_u.math.tam.OpenXM.*; |
Line 208 class elimi extends Applet implements ActionListener,R |
|
Line 208 class elimi extends Applet implements ActionListener,R |
|
+"("+ ControlPort +","+ DataPort +")"); |
+"("+ ControlPort +","+ DataPort +")"); |
|
|
try{ |
try{ |
|
Runtime runtime = Runtime.getRuntime(); |
|
|
|
runtime.exec("/home/tam/OpenXM/lib/sm1/bin/oxlog /usr/X11R6/bin/xterm -icon -e /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); |
oxm = new OpenXM(host,ControlPort,DataPort); |
System.out.println("Connected."); |
System.out.println("Connected."); |
oxm.sendCMO(new CMO_STRING("(cohom.sm1) run ;\n")); |
oxm.sendCMO(new CMO_STRING("(cohom.sm1) run ;\n")); |
Line 215 class elimi extends Applet implements ActionListener,R |
|
Line 221 class elimi extends Applet implements ActionListener,R |
|
|
|
thread = new Thread(this); |
thread = new Thread(this); |
thread.start(); |
thread.start(); |
}catch(java.io.IOException e){ |
}catch(Exception e){ |
System.out.println("failed."); |
System.out.println("failed."); |
stop(); |
stop(); |
} |
} |