Update app.py

app.py

@@ -702,6 +702,10 @@ async def exe(websocket,connected,key):
                 event = {
                 "type": "cursor",
                 'offset': event["offset"],
+                    'userid': event["userid"],
+  'userlabel': event["userlabel"],
+  'usercolor': event["usercolor"],
+  'fileName':event["fileName"],
             
             }
                 websockets.broadcast(connected, json.dumps(event))
@@ -712,6 +716,10 @@ async def exe(websocket,connected,key):
                 'id': event["id"],
             'startOffset': event["startOffset"],
                     'endOffset': event["endOffset"],
+                    'userid': event["userid"],
+  'userlabel': event["userlabel"],
+  'usercolor': event["usercolor"],
+  'fileName':event["fileName"],
                    
             }
                 websockets.broadcast(connected, json.dumps(event))
@@ -720,6 +728,10 @@ async def exe(websocket,connected,key):
                 event = {
                 "type": "addselection",
                 'sourceUser': event["sourceUser"],
+                    'userid': event["userid"],
+  'userlabel': event["userlabel"],
+  'usercolor': event["usercolor"],
+  'fileName':event["fileName"],
             
             }
                 websockets.broadcast(connected, json.dumps(event))
@@ -729,6 +741,10 @@ async def exe(websocket,connected,key):
                 "type": "insert",
                 'index': event["index"],
             'text': event["text"],
+                     'userid': event["userid"],
+  'userlabel': event["userlabel"],
+  'usercolor': event["usercolor"],
+  'fileName':event["fileName"],
                    
             }
                 websockets.broadcast(connected, json.dumps(event))
@@ -739,6 +755,10 @@ async def exe(websocket,connected,key):
                 'index': event["index"],
             'length': event["length"],
                     'text': event["text"],
+                     'userid': event["userid"],
+  'userlabel': event["userlabel"],
+  'usercolor': event["usercolor"],
+  'fileName':event["fileName"],
                   
             }
                 websockets.broadcast(connected, json.dumps(event))
@@ -748,6 +768,10 @@ async def exe(websocket,connected,key):
                 "type": "edelelte",
                 'index': event["index"],
             'length': event["length"],
+                     'userid': event["userid"],
+  'userlabel': event["userlabel"],
+  'usercolor': event["usercolor"],
+  'fileName':event["fileName"],
                     
                   
             }