From 9263cf5e841145ab9454b63f8105ebff89871746 Mon Sep 17 00:00:00 2001
From: Thomas Rudin <thomas@rudin.io>
Date: Mon, 4 Feb 2019 21:25:51 +0100
Subject: [PATCH] cleanup

---
 server/static/js/main.js | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/server/static/js/main.js b/server/static/js/main.js
index dcfb33b..8272a70 100644
--- a/server/static/js/main.js
+++ b/server/static/js/main.js
@@ -5,10 +5,6 @@ api.getConfig().then(function(cfg){
   var wsChannel = new WebSocketChannel();
   wsChannel.connect();
 
-  wsChannel.addListener("minetest-info", function(e){
-    console.log(e); //XXX
-  });
-
   var rtTiles = new RealtimeTileLayer(wsChannel);
 
   var initialZoom = 11;