[checkmk-commits] [tribe29/checkmk] 4d3ce6: Avoid duplicate IDs in case a page menu entry has ...

Branch: refs/heads/master Home: https://github.com/tribe29/checkmk Commit: 4d3ce65a27fc6c02f8456fbb2337d0475ad2e869 https://github.com/tribe29/checkmk/commit/4d3ce65a27fc6c02f8456fbb2337d0475… Author: Tom Baerwinkel <tom.baerwinkel(a)tribe29.com> Date: 2020-11-25 (Wed, 25 Nov 2020) Changed paths: M cmk/gui/page_menu.py Log Message: ----------- Avoid duplicate IDs in case a page menu entry has no name If no name was set for a page menu entry a value of None was set. This lead to duplicate IDs "menu_entry_None" in the DOM. Change-Id: Ieac92488fe810f0f838685e89f4766f5829eaa9a