comparison twisted/plugins/libervia_server.py @ 1359:2da573bf3f8b

server: new `menu_extra_json` configuration option: this option can be used tp extend the defaut menu without having to redefine it.
author Goffi <goffi@goffi.org>
date Mon, 28 Sep 2020 17:12:04 +0200
parents 334d044f2713
children c3dac1e11341
comparison
equal deleted inserted replaced
1358:3c5054a22e7a 1359:2da573bf3f8b
136 OPT_PARAMETERS_CFG = [ 136 OPT_PARAMETERS_CFG = [
137 ["empty_password_allowed_warning_dangerous_list", None, "", None], 137 ["empty_password_allowed_warning_dangerous_list", None, "", None],
138 ["vhosts_dict", None, {}, None], 138 ["vhosts_dict", None, {}, None],
139 ["url_redirections_dict", None, {}, None], 139 ["url_redirections_dict", None, {}, None],
140 ["menu_json", None, {'': C.DEFAULT_MENU}, None], 140 ["menu_json", None, {'': C.DEFAULT_MENU}, None],
141 ["menu_extra_json", None, {}, None],
141 ["tickets_trackers_json", None, None, None], 142 ["tickets_trackers_json", None, None, None],
142 ["mr_handlers_json", None, None, None], 143 ["mr_handlers_json", None, None, None],
143 ] 144 ]
144 145
145 146