Spaces:
Running
Running
Update app.py
Browse files
app.py
CHANGED
@@ -98,7 +98,7 @@ async def delete_item(websocket, key,project_name, path, connected):
|
|
98 |
# print(e)
|
99 |
websockets.broadcast(connected,str(e))
|
100 |
|
101 |
-
async def get_file_content(websocket, key,project_name, path,connected):
|
102 |
|
103 |
file_path = path
|
104 |
|
@@ -108,6 +108,8 @@ async def get_file_content(websocket, key,project_name, path,connected):
|
|
108 |
event = {
|
109 |
"type": "content",
|
110 |
"content": content,
|
|
|
|
|
111 |
}
|
112 |
await websocket.send(json.dumps(event))
|
113 |
except Exception as e:
|
@@ -333,7 +335,7 @@ async def exe(websocket,connected,key):
|
|
333 |
await delete_item(websocket, key,event["project_name"], event["path"], connected)
|
334 |
elif event["command"]["type"]=="get_content":
|
335 |
|
336 |
-
await get_file_content(websocket, key,event["project_name"], event["
|
337 |
elif event["command"]["type"]=="rename":
|
338 |
|
339 |
await rename_item(websocket, key,event["project_name"], event["path"], event["name"], connected)
|
|
|
98 |
# print(e)
|
99 |
websockets.broadcast(connected,str(e))
|
100 |
|
101 |
+
async def get_file_content(websocket, key,project_name, path,name,connected):
|
102 |
|
103 |
file_path = path
|
104 |
|
|
|
108 |
event = {
|
109 |
"type": "content",
|
110 |
"content": content,
|
111 |
+
'fileName':name,
|
112 |
+
'filePath':path,
|
113 |
}
|
114 |
await websocket.send(json.dumps(event))
|
115 |
except Exception as e:
|
|
|
335 |
await delete_item(websocket, key,event["project_name"], event["path"], connected)
|
336 |
elif event["command"]["type"]=="get_content":
|
337 |
|
338 |
+
await get_file_content(websocket, key,event["project_name"], event["filePath"],event["fileName"] ,connected)
|
339 |
elif event["command"]["type"]=="rename":
|
340 |
|
341 |
await rename_item(websocket, key,event["project_name"], event["path"], event["name"], connected)
|