Clément Renault 123f47dbc4

Create the index only if the task has the rights to do so

2022-10-27 11:33:50 +02:00

..

autobatcher.rs

Correctly batch tasks with different index creation rights

2022-10-27 11:33:50 +02:00

batch.rs

Create the index only if the task has the rights to do so

2022-10-27 11:33:50 +02:00

error.rs

fix all compilation errors

2022-10-27 11:33:42 +02:00

index_mapper.rs

Update the tasks statuses

2022-10-27 11:33:49 +02:00

lib.rs

Correctly batch tasks with different index creation rights

2022-10-27 11:33:50 +02:00

task.rs

Correctly batch tasks with different index creation rights

2022-10-27 11:33:50 +02:00

utils.rs

Make clippy happy

2022-10-27 11:33:47 +02:00