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