Frontend emits server_error when no worker is available.
Benchmarking script for online recognition added.