comparison src/server/html_tools.py @ 1003:05cc33d8e328

server: better error message on init issue / menu_json trouble + stop reactor in this case.
author Goffi <goffi@goffi.org>
date Fri, 05 Jan 2018 16:30:05 +0100
parents fd4eae654182
children f2170536ba23
comparison
equal deleted inserted replaced
1002:990e80aa43a9 1003:05cc33d8e328