Jakub Zych cd7182395f fix: a crawl cancel waits for its job, and a stale crawl is ended ...

Cancelling a running crawl records cancel_requested_at and leaves the
row running until its job stops and writes cancelled, so no second
crawl starts and the row cannot be deleted or pruned meanwhile. The job
writes heartbeat_at every minute; a running crawl without a heartbeat
for 10 minutes is ended by the next start or delete.

2026-11-04 22:51:34 +01:00

12 KiB

Raw Permalink Blame History

View Raw