collab_v2.0.0

Running

Ramesh-vani commited on Apr 12, 2024

Commit

e2edccf

verified ·

1 Parent(s): 55fe60b

Update app.py

Files changed (1) hide show

app.py CHANGED Viewed

@@ -297,6 +297,7 @@ async def read_process_output(process, websocket):
                 "type": "terminal-data",
                 "data": word.decode('utf-8'),
             }
                 await websocket.send(json.dumps(event))
                 word = b''
             print("line is completed")
@@ -312,6 +313,7 @@ async def read_process_output(process, websocket):
                 "type": "terminal-data",
                 "data": word.decode('utf-8'),
             }
                 await websocket.send(json.dumps(event))
                 word = b''
             print("space is occurred")
@@ -319,6 +321,7 @@ async def read_process_output(process, websocket):
                 "type": "terminal-data",
                 "data": " ",
             }
             await websocket.send(json.dumps(event))
         elif char == b'':
             if word:
@@ -327,6 +330,7 @@ async def read_process_output(process, websocket):
                 "type": "terminal-data",
                 "data": word.decode('utf-8'),
             }
                 await websocket.send(json.dumps(event))
             break
         else:

                 "type": "terminal-data",
                 "data": word.decode('utf-8'),
             }
+                print('sending data')
                 await websocket.send(json.dumps(event))
                 word = b''
             print("line is completed")
                 "type": "terminal-data",
                 "data": word.decode('utf-8'),
             }
+                print('sending data')
                 await websocket.send(json.dumps(event))
                 word = b''
             print("space is occurred")
                 "type": "terminal-data",
                 "data": " ",
             }
+            print('sending data')
             await websocket.send(json.dumps(event))
         elif char == b'':
             if word:
                 "type": "terminal-data",
                 "data": word.decode('utf-8'),
             }
+                print('sending data')
                 await websocket.send(json.dumps(event))
             break
         else: