comparison browser_side/xmlui.py @ 156:46835a4e2551

server side: disconnection
author Goffi <goffi@goffi.org>
date Sat, 05 Jan 2013 16:06:33 +0100
parents 03c22ddd7c94
children 9763dec220ed
comparison
equal deleted inserted replaced
155:9c4550b1df3c 156:46835a4e2551