diff browser_side/html_tools.py @ 418:ec8775575886

misc: libervia stop would not kill all libervia instances anymore
author souliane <souliane@mailoo.org>
date Sun, 23 Mar 2014 23:06:12 +0100
parents 41b8b96f2248
children
line wrap: on
line diff