[checkmk-commits] Check_MK Git: check_mk: saveint() now handles non-empty strings