diff browser_side/list_manager.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 63f8469b4ad3
children 20c508f9b32a
line wrap: on
line diff