Spaces:
Runtime error
Runtime error
Update app.py
Browse files
app.py
CHANGED
|
@@ -82,6 +82,7 @@ def run_bigcodebench(command):
|
|
| 82 |
def kill_process():
|
| 83 |
if process.poll() is None: # If the process is still running
|
| 84 |
process.terminate()
|
|
|
|
| 85 |
yield "Process terminated after 6 minutes timeout.\n"
|
| 86 |
|
| 87 |
# Start a timer to kill the process after 6 minutes
|
|
@@ -91,7 +92,7 @@ def run_bigcodebench(command):
|
|
| 91 |
for line in process.stdout:
|
| 92 |
yield line
|
| 93 |
|
| 94 |
-
process.wait()
|
| 95 |
|
| 96 |
timer.cancel()
|
| 97 |
|
|
|
|
| 82 |
def kill_process():
|
| 83 |
if process.poll() is None: # If the process is still running
|
| 84 |
process.terminate()
|
| 85 |
+
is_running = False
|
| 86 |
yield "Process terminated after 6 minutes timeout.\n"
|
| 87 |
|
| 88 |
# Start a timer to kill the process after 6 minutes
|
|
|
|
| 92 |
for line in process.stdout:
|
| 93 |
yield line
|
| 94 |
|
| 95 |
+
# process.wait()
|
| 96 |
|
| 97 |
timer.cancel()
|
| 98 |
|