( begin auto-generated from Server_disconnect.xml ) Disconnect a particular client. ( end auto-generated ) @brief Disconnect a particular client. @webref server:server @param client the client to disconnect
(Client client)
| 123 | * @param client the client to disconnect |
| 124 | */ |
| 125 | public void disconnect(Client client) { |
| 126 | client.stop(); |
| 127 | synchronized (clientsLock) { |
| 128 | int index = clientIndex(client); |
| 129 | if (index != -1) { |
| 130 | removeIndex(index); |
| 131 | } |
| 132 | } |
| 133 | } |
| 134 | |
| 135 | |
| 136 | protected void removeIndex(int index) { |
nothing calls this directly
no test coverage detected