[checkmk-commits] Check_MK Git: check_mk: Fix some rare occasions where cmk --flush could fail