From 1f40f56a0e37c9a957a94ce37f856bd0a32e18f4 Mon Sep 17 00:00:00 2001
From: Jah-yee <166608075+Jah-yee@users.noreply.github.com>
Date: Thu, 30 Jul 2026 18:21:26 +0800
Subject: [PATCH] =?UTF-8?q?Fix=20typo:=20'destory'=20=E2=86=92=20'destroy'?=
 =?UTF-8?q?=20in=20ws=5Fserver.py?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 ws_server.py | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/ws_server.py b/ws_server.py
index c63e67a..5496679 100644
--- a/ws_server.py
+++ b/ws_server.py
@@ -55,7 +55,7 @@ def __init__(self, rd, oid, name):
         self.name = name
         self.KEY = Visitor.key(oid)
 
-    def destory(self):
+    def destroy(self):
         self.rd.delete(self.KEY) # Seems won't happen for now
 
     def online(self):
@@ -122,7 +122,7 @@ def __init__(self, rd, oid, name):
         self.name = name
         self.KEY = User.key(oid)
 
-    def destory(self):
+    def destroy(self):
         self.rd.delete(self.KEY) # Seems won't happen for now
 
     def online(self):
@@ -206,7 +206,7 @@ def create(rd, name):
         rd.hset(room.KEY, 'channel', channel)
         return room
 
-    def destory(self):
+    def destroy(self):
         ''' unused for now '''
         self.rd.delete(self.KEY)