8000 Make `--no-server` mode also terminate on removal of `processId` file, use it in integration test cleanup by lihaoyi · Pull Request #4587 · com-lihaoyi/mill · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Make --no-server mode also terminate on removal of processId file, use it in integration test cleanup #4587

Merged
lihaoyi merged 13 commits intocom-lihaoyi:mainfrom
lihaoyi:no-server-terminate
Feb 19, 2025

Commits

Commits on Feb 19, 2025
0