===================================================================
RCS file: /home/cvs/OpenXM/src/OpenMath/elimi.java,v
retrieving revision 1.7
retrieving revision 1.8
diff -u -p -r1.7 -r1.8
--- OpenXM/src/OpenMath/elimi.java	2000/10/11 09:34:06	1.7
+++ OpenXM/src/OpenMath/elimi.java	2001/01/28 19:17:23	1.8
@@ -1,5 +1,5 @@
 /**
- * $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.*;
@@ -204,10 +204,11 @@ class elimi extends Applet implements ActionListener,R
     try{
       Runtime runtime = Runtime.getRuntime();
 
-      runtime.exec("sh -c \"xterm -name $OpenXM_HOME\"");
+      //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 +"\"");
+      //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);