Minor improvements to async judgetask reporting.#3042

meisterT merged 1 commit intoDOMjudge:mainDOMjudge/domjudge:mainfrom

meisterT:jtfailmeisterT/domjudge:jtfailCopy head branch name to clipboard