diff src/plugins/plugin_misc_extra_pep.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 0eaa1a409dfb
children cc31dd72526d
line wrap: on
line diff