diff deploy/linux/control.example @ 806:9ed197a7c773

Frame this condition more defensively (from coverity scan)
author Chris Cannam
date Wed, 03 Sep 2014 09:57:30 +0100
parents 5ddf310f61c1
children dac686f8efb8
line wrap: on
line diff