[BACK]Return to OMproxy.java CVS log [TXT][DIR] Up to [local] / OpenXM / src / OpenMath

Diff for /OpenXM/src/OpenMath/OMproxy.java between version 1.40 and 1.41

version 1.40, 2000/09/13 06:44:55 version 1.41, 2000/10/11 08:32:13
Line 1 
Line 1 
 /**  /**
  * $OpenXM: OpenXM/src/OpenMath/OMproxy.java,v 1.39 2000/07/03 05:57:43 tam Exp $   * $OpenXM: OpenXM/src/OpenMath/OMproxy.java,v 1.40 2000/09/13 06:44:55 tam Exp $
  */   */
   
 import ORG.openxm.tam.*;  import ORG.openxm.tam.*;
Line 51  public class OMproxy extends OpenXMserver{
Line 51  public class OMproxy extends OpenXMserver{
       e.printStackTrace();        e.printStackTrace();
       System.err.println("error occured, and recovering processes seems to be impossible.");        System.err.println("error occured, and recovering processes seems to be impossible.");
     }finally{      }finally{
       System.out.println("breaking...");        System.err.println("breaking...");
     }      }
   }    }
   
   /*    /*
   public void stop(){    public void stop(){
     System.out.println("OMproxy Stoping...");      System.err.println("OMproxy Stoping...");
     synchronized(ox){      synchronized(ox){
       //this.stop();        //this.stop();
       while(!stack.empty()){        while(!stack.empty()){
         stack.pop();          stack.pop();
       }        }
       System.out.println("OMproxy Stopped");        System.err.println("OMproxy Stopped");
     }      }
   }    }
   */    */
Line 199  public class OMproxy extends OpenXMserver{
Line 199  public class OMproxy extends OpenXMserver{
       break;        break;
   
     default:      default:
       System.out.println("received "+ mesg);        System.err.println("received "+ mesg);
     }      }
   }    }
   
Line 270  public class OMproxy extends OpenXMserver{
Line 270  public class OMproxy extends OpenXMserver{
   
     for(int i=0;i<argv.length;i++){      for(int i=0;i<argv.length;i++){
       if(argv[i].equals("-h")){        if(argv[i].equals("-h")){
         System.out.println("");          System.err.println("");
         System.exit(0);          System.exit(0);
       }else if(argv[i].equals("-host")){        }else if(argv[i].equals("-host")){
         hostname = argv[++i];          hostname = argv[++i];
Line 302  public class OMproxy extends OpenXMserver{
Line 302  public class OMproxy extends OpenXMserver{
   
     ox.start();      ox.start();
   
     System.out.println("breaking...");      System.err.println("breaking...");
   }    }
 }  }
Legend:
Removed from v.1.40  
changed lines
  Added in v.1.41
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>