=================================================================== RCS file: /home/cvs/OpenXM/src/OpenMath/OMproxy.java,v retrieving revision 1.14 retrieving revision 1.22 diff -u -p -r1.14 -r1.22 --- OpenXM/src/OpenMath/OMproxy.java 1999/11/19 08:49:06 1.14 +++ OpenXM/src/OpenMath/OMproxy.java 2000/01/19 15:32:50 1.22 @@ -1,5 +1,5 @@ /** - * $OpenXM: OpenXM/src/OpenMath/OMproxy.java,v 1.13 1999/11/17 13:23:16 tam Exp $ + * $OpenXM: OpenXM/src/OpenMath/OMproxy.java,v 1.21 2000/01/19 15:21:58 tam Exp $ */ import JP.ac.kobe_u.math.tam.OpenXM.*; @@ -9,8 +9,8 @@ import java.io.*; class OMproxy implements Runnable{ private OpenXM ox; private Stack stack = new Stack(); - private boolean debug = true; - final int version = 199911110; + protected boolean debug = false; + final int version = 200001190; public OMproxy(String host,int ControlPort,int DataPort) throws IOException{ ox = new OpenXM(this,host,ControlPort,DataPort); @@ -20,8 +20,8 @@ class OMproxy implements Runnable{ OM2OXM P = new OM2OXM(); debug("OMproxy started."); - try{ - while(true){ + while(true){ + try{ int ox_tag = ox.receiveOXtag(); switch(ox_tag){ @@ -34,13 +34,13 @@ class OMproxy implements Runnable{ debug("push: "+ stack.peek()); break; } + }catch(Exception e){ + System.err.println(e.getMessage()); + e.printStackTrace(); + debug("error occured. stack was cleared."); } - }catch(java.io.IOException e){ - System.err.println(e.getMessage()); - e.printStackTrace(); } - - System.out.println("breaking..."); + //System.out.println("breaking..."); } /* @@ -113,13 +113,13 @@ class OMproxy implements Runnable{ CMO[] list = {new CMO_INT32(SM.SM_popCMO), new CMO_INT32(SM.SM_executeFunction), new CMO_INT32(SM.SM_mathcap), + new CMO_INT32(SM.SM_setMathCap), new CMO_INT32(SM.SM_control_kill), new CMO_INT32(SM.SM_control_reset_connection)}; mathcap[1] = new CMO_LIST(list); } { - CMO[] DataFormat = {new CMO_INT32(OpenXM.OX_DATA)}; CMO[] CMOFormat = {new CMO_INT32(CMO.CMO_NULL), new CMO_INT32(CMO.CMO_INT32), new CMO_INT32(CMO.CMO_STRING), @@ -135,8 +135,10 @@ class OMproxy implements Runnable{ new CMO_INT32(CMO.CMO_BIGFLOAT), new CMO_INT32(CMO.CMO_INDETERMINATE), new CMO_INT32(CMO.CMO_TREE)}; - CMO[] list = {new CMO_LIST(DataFormat), - new CMO_LIST(CMOFormat)}; + CMO[] DataFormat1 = {new CMO_INT32(OpenXM.OX_DATA), + new CMO_LIST(CMOFormat)}; + CMO[] list = {new CMO_LIST(DataFormat1)}; + mathcap[2] = new CMO_LIST(list); } @@ -220,6 +222,7 @@ class OMproxy implements Runnable{ ret += "\t -data port \t (default 1300)\n"; ret += "\t -control port \t (default 1200)\n"; ret += "\t -insecure \t this version ignore this option\n"; + ret += "\t -debug \t display debug messages\n"; return ret; } @@ -227,6 +230,7 @@ class OMproxy implements Runnable{ public static void main(String argv[]){ String host = "localhost"; int DataPort = 1300, ControlPort = 1200; + boolean debug = false; for(int i=0;i