=================================================================== RCS file: /home/cvs/OpenXM/src/OpenMath/OMproxy.java,v retrieving revision 1.36 retrieving revision 1.37 diff -u -p -r1.36 -r1.37 --- OpenXM/src/OpenMath/OMproxy.java 2000/04/17 03:18:57 1.36 +++ OpenXM/src/OpenMath/OMproxy.java 2000/06/13 14:04:19 1.37 @@ -1,17 +1,21 @@ /** - * $OpenXM: OpenXM/src/OpenMath/OMproxy.java,v 1.35 2000/03/15 15:02:06 tam Exp $ + * $OpenXM: OpenXM/src/OpenMath/OMproxy.java,v 1.36 2000/04/17 03:18:57 tam Exp $ */ import JP.ac.kobe_u.math.tam.OpenXM.*; import java.util.Stack; import java.io.*; -class OMproxy extends OpenXMserver{ +public class OMproxy extends OpenXMserver{ private OpenXM ox; private Stack stack = new Stack(); - protected boolean debug = false; - final int version = 200001190; + protected boolean debug = true; + final int version = 200006130; + public OMproxy(String hostname,int ControlPort,int DataPort){ + super(hostname,ControlPort,DataPort); + } + public void computeProcess(OpenXMconnection stream){ OM2OXM P = new OM2OXM(); @@ -36,6 +40,7 @@ class OMproxy extends OpenXMserver{ System.err.println(e.getMessage()); e.printStackTrace(); debug("error occured. stack was cleared."); + stack = new Stack(); } } }catch(IOException e){ @@ -67,6 +72,7 @@ class OMproxy extends OpenXMserver{ }else{ debug("sending CMO: "+ stack.peek()); ox.send((CMO)stack.pop()); + debug("test"); } }catch(MathcapViolation e){ try{ @@ -153,6 +159,7 @@ class OMproxy extends OpenXMserver{ mathcap[2] = new CMO_LIST(list); } + stack = new Stack(); stack.push(new CMO_MATHCAP(new CMO_LIST(mathcap))); debug("push: "+ stack.peek()); } @@ -231,9 +238,9 @@ class OMproxy extends OpenXMserver{ } private void debug(String str){ - if(debug){ - System.out.println(str); - } + //if(debug){ + System.err.println(str); + //} } private static String usage(){ @@ -251,43 +258,45 @@ class OMproxy extends OpenXMserver{ return ret; } - /* - public static void main(String argv[]){ - String host = "localhost"; - int DataPort = 1300, ControlPort = 1200; - boolean debug = false; + public static void main(String[] argv){ + String hostname = "localhost"; + int ControlPort = 1200, DataPort = 1300; + OpenXMserver ox; for(int i=0;i