blob: 35daf1641f4257a3b28d0b07a67807570458de19 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
import { client } from "../client";
/**
* Triggered when the disconnect button in settings is pushed.
* Forces a disconnection for testing purposes.
*/
export function DisconnectButton() {
if (client.serv && client.serv.readyState === WebSocket.OPEN) {
client.serv.close();
}
}
window.DisconnectButton = DisconnectButton;
|
