diff wk.py @ 267:5da3ff3305b8

Prevent backend bugs from crashing the UI.
author Ludovic Chabant <ludovic@chabant.com>
date Thu, 25 Sep 2014 07:52:21 -0700
parents 2dd7535045eb
children
line wrap: on
line diff