even more hot fixes

src/networking/ConnectionManager.js

@@ -168,6 +168,7 @@ export default class ConnectionManager {
             console.log(`Connection with "${connection.peer}" closed`);
             delete this.connections[connection.peer];
             g_Lobby.refreshLobbyUI()
+            g_Lobby.onLeave(connection.peer);
         });
     }
 

src/networking/Server.js

@@ -95,6 +95,11 @@ export class Server {
         g_ConnectionManager.connections[peerId]._conn.close();
     }
 
+    onLeave(peerId) {
+        this.players[peerId].remove();
+        delete this.players[peerId];
+    }
+
     readyButton() {
         this.lobbyReadied = !this.lobbyReadied;
 

src/render/PhysicsMesh.js

@@ -23,6 +23,12 @@ export class PhysicsMesh {
         this.mesh.position.copy( _pos(this.body.position) );
         this.mesh.quaternion.copy( _quat(this.body.quaternion) );
     }
+
+    remove() {
+        g_renderer.scene.remove(this.mesh);
+        g_world.world.removeBody(this.body);
+        g_world.objects.splice(g_world.objects.indexOf(this), 1);
+    }
 }
 
 function _pos(pos) {