Searched refs:closeToecSocket (Results 1 - 1 of 1) sorted by relevance

/barrelfish-master/usr/eclipseclp/JavaInterface/src/com/parctechnologies/eclipse/
H A DRemoteEclipse.java871 closeToecSocket(streamid);
1551 private void closeToecSocket(int streamID) throws IOException method in class:RemoteEclipse

Completed in 87 milliseconds