Backend: Lint result socketio method.

backend/socketio_helper.py

@@ -293,4 +293,14 @@ def handle_viewer_cursor_changed(data):
         'viewer': username,
         'fileId': file_id,
         'cursorPosition': cursor_position
-        }, room = 'openProject' + str(project_id), include_self=False)
\ No newline at end of file
+        }, room = 'openProject' + str(project_id), include_self=False)
+
+@socketio.on('lintResult')
+def handle_lint_result(data):
+    data = json.loads(data)
+    project_id = data['projectId']
+    emit('lintResult', {
+        'on': 'lintResult',
+        'projectId': project_id,
+        'lintResult': data['lintResult'],
+        }, room = 'openProject' + str(project_id), include_self=False)