| version 1.1, 2002/10/27 10:39:32 |
version 1.2, 2002/10/28 00:38:32 |
|
|
| /* $OpenXM$ */ |
/* $OpenXM: OpenXM/src/OpenMath/ORG/openxm/tam/oxdStream.java,v 1.1 2002/10/27 10:39:32 takayama Exp $ */ |
| package ORG.openxm.tam; |
package ORG.openxm.tam; |
| |
|
| import java.io.* ; |
import java.io.* ; |
| Line 148 public class oxdStream { |
|
| Line 148 public class oxdStream { |
|
| port2 = port+1; |
port2 = port+1; |
| |
|
| s="<launch> ox -ox "+oxname+" -reverse -control "+port+" -data "+port2 |
s="<launch> ox -ox "+oxname+" -reverse -control "+port+" -data "+port2 |
| + " </launch> \n"; |
+ " -finish </launch> \n"; |
| System.err.println(s); |
System.err.println(s); |
| write(s); |
write(s); |
| |
ans = readUntil('?'); |
| |
System.err.println(ans); |
| |
write("<login/>\n"); |
| |
if (getTagName(ans).equals("suceeded")) { |
| |
|
| |
}else{ |
| |
throw new IOException("OX server could not be started."); |
| |
} |
| } |
} |
| |
|
| public static void main0(String[] argv) throws IOException { |
public static void main0(String[] argv) throws IOException { |
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to oxdStream.java CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM / src / OpenMath / ORG / openxm / tam