diff wk.py @ 323:8ea76932ea3a

More proper shutdown, and more proper use of the parameter context.
author Ludovic Chabant <ludovic@chabant.com>
date Sat, 11 Oct 2014 22:06:41 -0700
parents 2dd7535045eb
children
line wrap: on
line diff