Eike Kettner 41c0f70d3b Fix cancelling jobs ... A request to cancel a job was not processed correctly. The cancelling routine of a task must run, regardless of the (non-final) state. Now it works like this: if a job is currently running, it is interrupted and its cancel routine is invoked. It then enters "cancelled" state. If it is stuck, it is loaded and only its cancel routine is run. If it is in a final state or waiting, it is removed from the queue.		2020-06-26 23:08:27 +02:00
..
dev	Add a route that only searches the full-text index	2020-06-24 00:03:17 +02:00
doc	Fix cancelling jobs	2020-06-26 23:08:27 +02:00
api.md	Some small documentation fixes	2020-06-12 21:52:29 +02:00
CNAME	Setup new site	2020-03-27 00:35:15 +01:00
demo.md	Update finding documentation	2020-06-24 23:37:20 +02:00
dev.md	Update microsite	2020-03-28 21:44:14 +01:00
doc.md	Remove references to pdf in the doc	2020-05-27 00:44:04 +02:00
features.md	Documentation updates	2020-06-25 01:36:26 +02:00
getit.md	Add a docker image for watching a directory	2020-05-25 19:43:06 +02:00
index.md	Update microsite	2020-03-28 21:44:14 +01:00