diff backend.py @ 141:957b269c6dfc

Don't run processes if we're using the command server.
author Ludovic Chabant <ludovic@chabant.com>
date Tue, 10 Dec 2013 13:47:37 -0800
parents 87606db8c641
children a4a64d6b66cb
line wrap: on
line diff