diff src/tools/xml_tools.py @ 1731:58ecc0e2e6fc

quick_frontend: catch an exception that can occurs when using a concurrent client
author souliane <souliane@mailoo.org>
date Thu, 10 Dec 2015 10:44:04 +0100
parents 0fdd8fe34fbf
children cf11cfc87ef9
line wrap: on
line diff