Bugfix: The user cannot start a new batch processing run while another one is still running.