Commit 5bb25db33e727641cd7941315ca632f76fca980f
1 parent
c8c1548c
graphlemon: auto-commit uncommitted worktree changes for b24c881d-ecea-4caa-ab32-39beca07f9c4
Showing
1 changed file
with
1 additions
and
0 deletions
src/scheduler.py
| @@ -75,6 +75,7 @@ from src import ( | @@ -75,6 +75,7 @@ from src import ( | ||
| 75 | settings_config, task_create, work_graph_execute, work_graph_orchestrate, work_node_run, | 75 | settings_config, task_create, work_graph_execute, work_graph_orchestrate, work_node_run, |
| 76 | ) | 76 | ) |
| 77 | 77 | ||
| 78 | +# Rationale: see module docstring's "Threading model" section (lines 21-28) above. | ||
| 78 | _BUSY_TIMEOUT_MS = 30000 | 79 | _BUSY_TIMEOUT_MS = 30000 |
| 79 | _FIX_LOOP_TIMEOUT = 1200 | 80 | _FIX_LOOP_TIMEOUT = 1200 |
| 80 | 81 |