version 1.25, 2000/09/13 06:44:55 |
version 1.26, 2000/10/11 08:32:13 |
|
|
/* |
/* |
* $OpenXM: OpenXM/src/OpenMath/OM2OXM.java,v 1.24 2000/04/17 03:18:57 tam Exp $ |
* $OpenXM: OpenXM/src/OpenMath/OM2OXM.java,v 1.25 2000/09/13 06:44:55 tam Exp $ |
*/ |
*/ |
|
|
/** |
/** |
Line 57 final class OM2OXM implements Runnable{ |
|
Line 57 final class OM2OXM implements Runnable{ |
|
OXmessage message = asir.receive(); |
OXmessage message = asir.receive(); |
|
|
if(message.getTag() == OXmessage.OX_DATA){ |
if(message.getTag() == OXmessage.OX_DATA){ |
System.out.println("=> "+ CMO2OM((CMO)message.getBody())); |
System.err.println("=> "+ CMO2OM((CMO)message.getBody())); |
break; |
break; |
} |
} |
} |
} |
Line 752 final class OM2OXM implements Runnable{ |
|
Line 752 final class OM2OXM implements Runnable{ |
|
|
|
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")){ |
host = argv[++i]; |
host = argv[++i]; |
Line 786 final class OM2OXM implements Runnable{ |
|
Line 786 final class OM2OXM implements Runnable{ |
|
|
|
P.asir = asir; |
P.asir = asir; |
new Thread(P).start(); |
new Thread(P).start(); |
System.out.println("start"); |
System.err.println("start"); |
|
|
try{ |
try{ |
//P.value = new Attribute(System.in); |
//P.value = new Attribute(System.in); |
Line 807 final class OM2OXM implements Runnable{ |
|
Line 807 final class OM2OXM implements Runnable{ |
|
}catch(IOException e){ |
}catch(IOException e){ |
e.printStackTrace(); |
e.printStackTrace(); |
}finally{ |
}finally{ |
System.out.println("breaking..."); |
System.err.println("breaking..."); |
} |
} |
} |
} |
} |
} |