don't remove player on disconnect

2023-03-05 19:03:58 +08:00
parent 69fb7a7c9d
commit 5699663dd2
2 changed files with 18 additions and 18 deletions
--- a/types/index.d.ts
+++ b/types/index.d.ts
@@ -15,4 +15,5 @@ export interface User {
    id?: number | string; // string for guest IDs
    name?: string;
    email?: string;
+    connected?: boolean; // mainly for players, not spectators
 }