()
| 442 | } |
| 443 | |
| 444 | private void destroy() { |
| 445 | if (this.subs != null) { |
| 446 | // clean subscriptions to avoid reconnection |
| 447 | for (On.Handle sub : this.subs) { |
| 448 | sub.destroy(); |
| 449 | } |
| 450 | this.subs = null; |
| 451 | } |
| 452 | |
| 453 | this.io.destroy(); |
| 454 | } |
| 455 | |
| 456 | /** |
| 457 | * Disconnects the socket. |
no test coverage detected