Spaces:
Running
Running
Update app.py
Browse files
app.py
CHANGED
@@ -20,24 +20,53 @@ class FileHandler(FileSystemEventHandler):
|
|
20 |
def on_modified(self, event):
|
21 |
if event.is_directory:
|
22 |
return
|
|
|
|
|
23 |
print(f'File {event.src_path} has been modified.')
|
24 |
-
|
|
|
|
|
|
|
|
|
|
|
|
|
25 |
|
26 |
def on_created(self, event):
|
27 |
if event.is_directory:
|
28 |
return
|
|
|
|
|
29 |
print(f'File {event.src_path} has been created.')
|
30 |
-
|
|
|
|
|
|
|
|
|
|
|
|
|
31 |
|
32 |
def on_deleted(self, event):
|
33 |
if event.is_directory:
|
34 |
return
|
35 |
print(f'File {event.src_path} has been deleted.')
|
|
|
|
|
|
|
|
|
|
|
|
|
36 |
|
37 |
def on_moved(self, event):
|
38 |
if event.is_directory:
|
39 |
return
|
40 |
print(f'File {event.src_path} has been renamed to {event.dest_path}.')
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
41 |
|
42 |
JOIN = {}
|
43 |
|
|
|
20 |
def on_modified(self, event):
|
21 |
if event.is_directory:
|
22 |
return
|
23 |
+
with open(event.src_path, 'r', encoding='utf-8') as file:
|
24 |
+
content = file.read()
|
25 |
print(f'File {event.src_path} has been modified.')
|
26 |
+
new_event = {
|
27 |
+
"type": "file-modifie",
|
28 |
+
"content": content,
|
29 |
+
"path": event.src_path,
|
30 |
+
}
|
31 |
+
websockets.broadcast(self.connected,json.dumps(new_event))
|
32 |
+
# websockets.broadcast(self.connected,f'File {event.src_path} has been modified.')
|
33 |
|
34 |
def on_created(self, event):
|
35 |
if event.is_directory:
|
36 |
return
|
37 |
+
with open(event.src_path, 'r', encoding='utf-8') as file:
|
38 |
+
content = file.read()
|
39 |
print(f'File {event.src_path} has been created.')
|
40 |
+
new_event = {
|
41 |
+
"type": "file-create",
|
42 |
+
"content": content,
|
43 |
+
"path": event.src_path,
|
44 |
+
}
|
45 |
+
websockets.broadcast(self.connected,json.dumps(new_event))
|
46 |
+
# websockets.broadcast(self.connected,f'File {event.src_path} has been created.')
|
47 |
|
48 |
def on_deleted(self, event):
|
49 |
if event.is_directory:
|
50 |
return
|
51 |
print(f'File {event.src_path} has been deleted.')
|
52 |
+
new_event = {
|
53 |
+
"type": "file-delete",
|
54 |
+
|
55 |
+
"path": event.src_path,
|
56 |
+
}
|
57 |
+
websockets.broadcast(self.connected,json.dumps(new_event))
|
58 |
|
59 |
def on_moved(self, event):
|
60 |
if event.is_directory:
|
61 |
return
|
62 |
print(f'File {event.src_path} has been renamed to {event.dest_path}.')
|
63 |
+
new_event = {
|
64 |
+
"type": "file-rename",
|
65 |
+
|
66 |
+
"OldPath": event.src_path,
|
67 |
+
"NewPath": event.dest_path,
|
68 |
+
}
|
69 |
+
websockets.broadcast(self.connected,json.dumps(new_event))
|
70 |
|
71 |
JOIN = {}
|
72 |
|