diff deploy/linux/control.example @ 666:7707d9175d55

Fix uninitialised pointer (and consequent crash on exit)
author Chris Cannam
date Tue, 26 Nov 2013 14:34:55 +0000
parents 5ddf310f61c1
children dac686f8efb8
line wrap: on
line diff