[checkmk-commits] Check_MK Git: check_mk: The progress dialog now supports a optional URL to redirect to when nothing has been found