Spaces:
Paused
Paused
Update app.py
Browse files
app.py
CHANGED
|
@@ -310,6 +310,7 @@ async def exe(websocket,connected,key):
|
|
| 310 |
'name': event["name"],
|
| 311 |
'line': event["cursorPos-line"],
|
| 312 |
'ch': event["cursorPos-ch"],
|
|
|
|
| 313 |
'content': event["content"],
|
| 314 |
}
|
| 315 |
websockets.broadcast(connected, json.dumps(event))
|
|
|
|
| 310 |
'name': event["name"],
|
| 311 |
'line': event["cursorPos-line"],
|
| 312 |
'ch': event["cursorPos-ch"],
|
| 313 |
+
'file':event["file"],
|
| 314 |
'content': event["content"],
|
| 315 |
}
|
| 316 |
websockets.broadcast(connected, json.dumps(event))
|