===================================================================
RCS file: /home/cvs/OpenXM/src/OpenMath/elimi.java,v
retrieving revision 1.1
retrieving revision 1.3
diff -u -p -r1.1 -r1.3
--- OpenXM/src/OpenMath/elimi.java	1999/11/10 21:25:48	1.1
+++ OpenXM/src/OpenMath/elimi.java	1999/12/09 00:32:36	1.3
@@ -1,5 +1,5 @@
 /**
- * $OpenXM$
+ * $OpenXM: OpenXM/src/OpenMath/elimi.java,v 1.2 1999/11/21 20:38:41 tam Exp $
  */
 
 import JP.ac.kobe_u.math.tam.OpenXM.*;
@@ -208,6 +208,15 @@ 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"));
@@ -215,7 +224,7 @@ class elimi extends Applet implements ActionListener,R
 
       thread = new Thread(this);
       thread.start();
-    }catch(java.io.IOException e){
+    }catch(Exception e){
       System.out.println("failed.");
       stop();
     }