[checkmk-commits] 4366 FIX Fixed random exception related to html.unplug() in GUI