diff src/sat.sh @ 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 61c03265e133
children 7a07f232e7cb
line wrap: on
line diff