===================================================================
RCS file: /home/cvs/OpenXM/src/OpenMath/elimi.java,v
retrieving revision 1.5
retrieving revision 1.9
diff -u -p -r1.5 -r1.9
--- OpenXM/src/OpenMath/elimi.java	2000/04/02 19:24:40	1.5
+++ OpenXM/src/OpenMath/elimi.java	2001/01/28 19:43:16	1.9
@@ -1,8 +1,8 @@
 /**
- * $OpenXM: OpenXM/src/OpenMath/elimi.java,v 1.4 2000/03/16 09:14:52 tam Exp $
+ * $OpenXM: OpenXM/src/OpenMath/elimi.java,v 1.8 2001/01/28 19:17:23 tam Exp $
  */
 
-import JP.ac.kobe_u.math.tam.OpenXM.*;
+import ORG.openxm.tam.*;
 import java.applet.*;
 import java.awt.event.*;
 import java.awt.*;
@@ -107,7 +107,7 @@ class elimi extends Applet implements ActionListener,R
         Thread.yield();
 
         tmp = oxm.receive();
-	System.out.println("=> "+ tmp);
+	System.err.println("=> "+ tmp);
       }
     }catch(java.io.IOException e){}
   }
@@ -198,28 +198,28 @@ class elimi extends Applet implements ActionListener,R
   }
 
   public void start(){
-    System.out.println("Connecting to "+ host
+    System.err.println("Connecting to "+ host
 		       +"("+ ControlPort +","+ DataPort +")");
 
     try{
       Runtime runtime = Runtime.getRuntime();
-
-      runtime.exec("sh -c \"xterm -name $OpenXM_HOME\"");
+      //Process proc = runtime.exec("xterm -name test");
       //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("xterm -e ox -ox /home/tam/work/OpenXM/bin/ox_sm1 -data "+ DataPort +" -control "+ ControlPort );
 
       Thread.sleep(3000);
 
       oxm = new OpenXM(host,ControlPort,DataPort);
-      System.out.println("Connected.");
+      System.err.println("Connected.");
       oxm.send(new CMO_STRING("(cohom.sm1) run ;\n"));
       oxm.send(new SM(SM.SM_executeStringByLocalParser));
 
       thread = new Thread(this);
       thread.start();
     }catch(Exception e){
-      System.out.println("failed.");
+      System.err.println("failed.");
       stop();
     }
   }
@@ -253,7 +253,7 @@ class elimi extends Applet implements ActionListener,R
 
     for(int i=0;i<argv.length;i++){
       if(argv[i].equals("-h")){
-        System.out.print(usage());
+        System.err.print(usage());
         System.exit(0);
       }else if(argv[i].equals("-debug")){
 	//debug = true;