[checkmk-commits] 4398 FIX Fixed broken GUI when deleting local/share/check_mk/web/ plugins dir