diff 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
line wrap: on
line diff