version 1.7, 2000/10/11 09:34:06 |
version 1.8, 2001/01/28 19:17:23 |
|
|
/** |
/** |
* $OpenXM: OpenXM/src/OpenMath/elimi.java,v 1.6 2000/10/11 08:32:13 ohara Exp $ |
* $OpenXM: OpenXM/src/OpenMath/elimi.java,v 1.7 2000/10/11 09:34:06 ohara Exp $ |
*/ |
*/ |
|
|
import ORG.openxm.tam.*; |
import ORG.openxm.tam.*; |
Line 204 class elimi extends Applet implements ActionListener,R |
|
Line 204 class elimi extends Applet implements ActionListener,R |
|
try{ |
try{ |
Runtime runtime = Runtime.getRuntime(); |
Runtime runtime = Runtime.getRuntime(); |
|
|
runtime.exec("sh -c \"xterm -name $OpenXM_HOME\""); |
//runtime.exec("sh -c \"xterm -name $OpenXM_HOME\""); |
//runtime.getInputstream(); |
//runtime.getInputstream(); |
//runtime.getOutput(); |
//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 +"\""); |
//runtime.exec("sh -c \"/home/tam/work/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 +"\""); |
|
runtime.exec("sh -c \"xterm ox -ox ox_sm1_forAsir -data "+ DataPort +" -control "+ ControlPort +"\""); |
|
|
Thread.sleep(3000); |
Thread.sleep(3000); |
|
|