diff frontends/src/quick_frontend/quick_list_manager.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 8b8b1af5905f
children d17772b0fe22
line wrap: on
line diff