Spaces:
Running
Running
Update app.py
Browse files
app.py
CHANGED
@@ -292,12 +292,12 @@ 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())
|
296 |
-
|
297 |
-
|
298 |
-
|
299 |
-
}
|
300 |
-
|
301 |
word = b''
|
302 |
print("line is completed")
|
303 |
event = {
|
@@ -307,10 +307,10 @@ 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())
|
311 |
event = {
|
312 |
"type": "terminal-data",
|
313 |
-
"data": word.decode(),
|
314 |
}
|
315 |
await websocket.send(json.dumps(event))
|
316 |
word = b''
|
@@ -322,10 +322,10 @@ 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())
|
326 |
event = {
|
327 |
"type": "terminal-data",
|
328 |
-
"data": word.decode(),
|
329 |
}
|
330 |
await websocket.send(json.dumps(event))
|
331 |
break
|
@@ -336,12 +336,12 @@ async def read_process_output(process, websocket):
|
|
336 |
char = await process.stderr.read(1)
|
337 |
if char == b'\n':
|
338 |
if word:
|
339 |
-
print(word.decode())
|
340 |
-
|
341 |
-
|
342 |
-
|
343 |
-
}
|
344 |
-
|
345 |
word = b''
|
346 |
print("line is completed")
|
347 |
event = {
|
@@ -351,10 +351,10 @@ async def read_process_output(process, websocket):
|
|
351 |
await websocket.send(json.dumps(event))
|
352 |
elif char == b' ':
|
353 |
if word:
|
354 |
-
print(word.decode())
|
355 |
event = {
|
356 |
"type": "terminal-data",
|
357 |
-
"data": word.decode(),
|
358 |
}
|
359 |
await websocket.send(json.dumps(event))
|
360 |
word = b''
|
@@ -366,7 +366,7 @@ async def read_process_output(process, websocket):
|
|
366 |
await websocket.send(json.dumps(event))
|
367 |
elif char == b'':
|
368 |
if word:
|
369 |
-
print(word.decode())
|
370 |
break
|
371 |
else:
|
372 |
word += char
|
|
|
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": "",
|
299 |
+
# }
|
300 |
+
# await websocket.send(json.dumps(event))
|
301 |
word = b''
|
302 |
print("line is completed")
|
303 |
event = {
|
|
|
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'),
|
314 |
}
|
315 |
await websocket.send(json.dumps(event))
|
316 |
word = b''
|
|
|
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'),
|
329 |
}
|
330 |
await websocket.send(json.dumps(event))
|
331 |
break
|
|
|
336 |
char = await process.stderr.read(1)
|
337 |
if char == b'\n':
|
338 |
if word:
|
339 |
+
print(word.decode('utf-8'))
|
340 |
+
# event = {
|
341 |
+
# "type": "terminal-data",
|
342 |
+
# "data": "",
|
343 |
+
# }
|
344 |
+
# await websocket.send(json.dumps(event))
|
345 |
word = b''
|
346 |
print("line is completed")
|
347 |
event = {
|
|
|
351 |
await websocket.send(json.dumps(event))
|
352 |
elif char == b' ':
|
353 |
if word:
|
354 |
+
print(word.decode('utf-8'))
|
355 |
event = {
|
356 |
"type": "terminal-data",
|
357 |
+
"data": word.decode('utf-8'),
|
358 |
}
|
359 |
await websocket.send(json.dumps(event))
|
360 |
word = b''
|
|
|
366 |
await websocket.send(json.dumps(event))
|
367 |
elif char == b'':
|
368 |
if word:
|
369 |
+
print(word.decode('utf-8'))
|
370 |
break
|
371 |
else:
|
372 |
word += char
|