version 1.1, 2002/10/23 08:40:16 |
version 1.2, 2002/10/27 10:39:31 |
|
|
/** |
/** |
* $OpenXM$ |
* $OpenXM: OpenXM/src/OpenMath/testclientr.java,v 1.1 2002/10/23 08:40:16 takayama Exp $ |
* |
* |
*/ |
*/ |
|
|
Line 35 final class testclientr{ |
|
Line 35 final class testclientr{ |
|
} |
} |
|
|
try{ // connect to server |
try{ // connect to server |
asir = new OpenXM(host,CtrlPort,StreamPort,"ox_asir",8089,""); |
// asir = new OpenXM(host,CtrlPort,StreamPort,"ox_asir",8089,""); |
|
asir = new OpenXM("ox_asir"); |
}catch(java.net.UnknownHostException e){ |
}catch(java.net.UnknownHostException e){ |
System.err.println("host unknown."); |
System.err.println("host unknown."); |
System.err.println(e.getMessage()); |
System.err.println(e.getMessage()); |