diff wk.py @ 291:035c7a58e9aa

Don't duplicate logging when running the server in command-line.
author Ludovic Chabant <ludovic@chabant.com>
date Sat, 27 Sep 2014 22:47:48 -0700
parents 2dd7535045eb
children
line wrap: on
line diff