[checkmk-commits] Check_MK Git: check_mk: FIX Fixed problem with portnumber in Wato Distributed Monitoring dialog