diff src/server/html_tools.py @ 700:b81816f42c81

browser side: added signal caching before profile is plugged, as QuickFrontend mechanism is not used
author Goffi <goffi@goffi.org>
date Wed, 27 May 2015 19:10:16 +0200
parents 9877607c719a
children f8a7a046ff9c
line wrap: on
line diff