Spaces:
Paused
Paused
update
Browse files
main.py
CHANGED
|
@@ -113,15 +113,15 @@ def main():
|
|
| 113 |
logger.info(f"{key}: {value}")
|
| 114 |
|
| 115 |
if value is True:
|
| 116 |
-
# porter manager
|
| 117 |
task_manager.add_tasks_by_task_file(tasks_file=porter_task_file.as_posix())
|
| 118 |
-
|
| 119 |
-
|
| 120 |
-
|
| 121 |
-
|
| 122 |
-
|
| 123 |
-
|
| 124 |
-
|
|
|
|
| 125 |
|
| 126 |
# ui
|
| 127 |
with gr.Blocks() as blocks:
|
|
|
|
| 113 |
logger.info(f"{key}: {value}")
|
| 114 |
|
| 115 |
if value is True:
|
|
|
|
| 116 |
task_manager.add_tasks_by_task_file(tasks_file=porter_task_file.as_posix())
|
| 117 |
+
|
| 118 |
+
task_thread = threading.Thread(
|
| 119 |
+
target=async_thread_wrapper,
|
| 120 |
+
args=(task_manager.run(),),
|
| 121 |
+
daemon=True
|
| 122 |
+
)
|
| 123 |
+
task_thread.start()
|
| 124 |
+
time.sleep(5)
|
| 125 |
|
| 126 |
# ui
|
| 127 |
with gr.Blocks() as blocks:
|