1 files changed, 0 insertions, 5 deletions
diff --git a/web/main.js b/web/main.js
index c4c8691..03e9dad 100644
--- a/web/main.js
+++ b/web/main.js
@@ -137,11 +137,6 @@ var guiHandlers = {
         sendDataToPython(message).then(session.send, session.end).done();
     },
 
-    'python_pull': function actionPythonPull(session, message) {
-        logger.debug('Received python_pull from GUI');
-        sendDataToPython(message).then(session.send, session.end).done();
-    },
-
     'hint': function actionHint(session, message) {
         logger.debug('Received hint from GUI');
         sendDataToPython(message).then(session.send, session.end).done();