Fixes for runBackground mutex and log management#3971
Merged
lihaoyi merged 15 commits intocom-lihaoyi:mainfrom lihaoyi:run-background-fixesNov 16, 2024
+272-216
runBackground mutex and log management#3971