(Client client)
| 1760 | } |
| 1761 | |
| 1762 | public Object ping(Client client) { |
| 1763 | // Base implementation — overridden by exchanges with custom ping |
| 1764 | return null; |
| 1765 | } |
| 1766 | |
| 1767 | public void onClose(Client client, Object error) { |
| 1768 | if (!client.error) { |