Skip to content

Indicate busyness of worker

For GUI experience, it would be nice if the worker would indicate whether it is busy. We could also highlight the current query that the worker is busy with.