diff frontends/src/tools/xmlui.py @ 1074:a47995155e55

frontends (quick_frontend): fixes the handling of asyncConnect failure
author souliane <souliane@mailoo.org>
date Sun, 15 Jun 2014 16:09:30 +0200
parents d2e612a45e76
children 7a39ae3950f7
line wrap: on
line diff