diff src/server/html_tools.py @ 548:530f3fc3e3d7

browser_side: fixes signal callback with no argument (e.g disconnected)
author souliane <souliane@mailoo.org>
date Thu, 11 Sep 2014 12:59:13 +0200
parents 1a0cec9b0f1e
children c8cca1a373dd
line wrap: on
line diff