diff options
| author | Martin <martin@leo.fri1.uni-lj.si> | 2015-09-18 14:03:19 +0200 |
|---|---|---|
| committer | Martin <martin@leo.fri1.uni-lj.si> | 2015-09-18 14:03:19 +0200 |
| commit | fe545bd1c782f5228323d360181d7aeccfce0324 (patch) | |
| tree | 0c017fb231d568e3e26b2418d700daf060b1d915 /web | |
| parent | e719ad4812fd4aaf05712022992966b805f5bd31 (diff) | |
| parent | 1720db308bf4481d6be45d4f7f611bab576b1184 (diff) | |
Merge branch 'master' of ssh://212.235.189.51:22122/codeq-server
Diffstat (limited to 'web')
| -rw-r--r-- | web/main.js | 5 |
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(); |