Spaces:
Running
Running
Update app.py
Browse files
app.py
CHANGED
|
@@ -292,7 +292,7 @@ async def read_process_output(process, websocket):
|
|
| 292 |
char = await process.stdout.read(1)
|
| 293 |
if char == b'\n':
|
| 294 |
if word:
|
| 295 |
-
print(word.decode('utf-8'))
|
| 296 |
# event = {
|
| 297 |
# "type": "terminal-data",
|
| 298 |
# "data": "",
|
|
@@ -307,7 +307,7 @@ async def read_process_output(process, websocket):
|
|
| 307 |
await websocket.send(json.dumps(event))
|
| 308 |
elif char == b' ':
|
| 309 |
if word:
|
| 310 |
-
print(word.decode('utf-8'))
|
| 311 |
event = {
|
| 312 |
"type": "terminal-data",
|
| 313 |
"data": word.decode('utf-8'),
|
|
@@ -322,7 +322,7 @@ async def read_process_output(process, websocket):
|
|
| 322 |
await websocket.send(json.dumps(event))
|
| 323 |
elif char == b'':
|
| 324 |
if word:
|
| 325 |
-
print(word.decode('utf-8'))
|
| 326 |
event = {
|
| 327 |
"type": "terminal-data",
|
| 328 |
"data": word.decode('utf-8'),
|
|
|
|
| 292 |
char = await process.stdout.read(1)
|
| 293 |
if char == b'\n':
|
| 294 |
if word:
|
| 295 |
+
print(word.decode('utf-8'),1)
|
| 296 |
# event = {
|
| 297 |
# "type": "terminal-data",
|
| 298 |
# "data": "",
|
|
|
|
| 307 |
await websocket.send(json.dumps(event))
|
| 308 |
elif char == b' ':
|
| 309 |
if word:
|
| 310 |
+
print(word.decode('utf-8'),2)
|
| 311 |
event = {
|
| 312 |
"type": "terminal-data",
|
| 313 |
"data": word.decode('utf-8'),
|
|
|
|
| 322 |
await websocket.send(json.dumps(event))
|
| 323 |
elif char == b'':
|
| 324 |
if word:
|
| 325 |
+
print(word.decode('utf-8'),3)
|
| 326 |
event = {
|
| 327 |
"type": "terminal-data",
|
| 328 |
"data": word.decode('utf-8'),
|