diff deploy/linux/deploy-deb.sh @ 1572:b49507c3a482

Handle exceptions raised during plugin processing (as opposed to on init/configure, which were already handled)
author Chris Cannam
date Tue, 31 Jan 2017 11:13:20 +0000
parents 9b59deb4a854
children c377ab5c1447
line wrap: on
line diff