Fix handling of domserver errors in judgedaemon.#2839

meisterT merged 1 commit intoDOMjudge:mainDOMjudge/domjudge:mainfrom

meisterT:ie500meisterT/domjudge:ie500Copy head branch name to clipboard