Spaces:
Running
Running
Update app.py
Browse files
app.py
CHANGED
@@ -21,13 +21,13 @@ class FileHandler(FileSystemEventHandler):
|
|
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:
|
|
|
21 |
if event.is_directory:
|
22 |
return
|
23 |
print(f'File {event.src_path} has been modified.')
|
24 |
+
websockets.broadcast(self.connected,f'File {event.src_path} has been modified.')
|
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 |
+
websockets.broadcast(self.connected,f'File {event.src_path} has been created.')
|
31 |
|
32 |
def on_deleted(self, event):
|
33 |
if event.is_directory:
|