equal
deleted
inserted
replaced
120 /** |
120 /** |
121 * Disconnects a previously connected socket. Does nothing if the socket was |
121 * Disconnects a previously connected socket. Does nothing if the socket was |
122 * not connected already. |
122 * not connected already. |
123 */ |
123 */ |
124 protected void disconnect() { |
124 protected void disconnect() { |
125 disconnect0(connectedAddress.family); |
125 disconnect0(connectedAddress.holder().getFamily()); |
126 connected = false; |
126 connected = false; |
127 connectedAddress = null; |
127 connectedAddress = null; |
128 connectedPort = -1; |
128 connectedPort = -1; |
129 } |
129 } |
130 |
130 |