Garmelon/wot
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Fix server-side disconnect bug

Browse source
This commit is contained in:
Joscha 2017-04-13 21:04:09 +00:00
parent 320dd16889
commit 04f0b8d9d7
2 changed files with 5 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

3
maps.py
View file

@ -211,7 +211,8 @@ class Map():
#self.load_visible() #self.load_visible()
def apply_changes(self, changes): def apply_changes(self, changes):
self.chunkpool.apply_changes(changes) with self.chunkpool as pool:
pool.apply_changes(changes)
ChunkStyle = namedtuple("ChunkStyle", "string color") ChunkStyle = namedtuple("ChunkStyle", "string color")

5
server.py
View file

@ -27,8 +27,9 @@ class WotServer(WebSocket):
def handle_unload_chunks(self, coords): def handle_unload_chunks(self, coords):
for coor in coords: for coor in coords:
pos = Position(coor) pos = Position(coor[0], coor[1])
self.loaded_chunks.remove(pos) if pos in self.loaded_chunks:
self.loaded_chunks.remove(pos)
def handle_save_changes(self, dchanges): def handle_save_changes(self, dchanges):
changes = [] changes = []