minor cleanup

2023-03-19 20:43:00 +08:00
parent 21494937c9
commit 96a262ec29
3 changed files with 6 additions and 13 deletions
--- a/types/index.d.ts
+++ b/types/index.d.ts
@@ -13,7 +13,7 @@ export interface Game {

 export interface User {
    id?: number | string; // string for guest IDs
-    name?: string;
+    name?: string | null;
    email?: string;
    connected?: boolean; // mainly for players, not spectators
 }