Swen Boehm
Results
2
issues of
Swen Boehm
If a job gets terminated by the system (wall time, etc.) we currently leave stale state behind. We should catch SIGTERM and friends and cleanly terminate the server/client.
question
Is it possible to exclude certain directories (i.e. a `.build`) from being indexed?