diff configure @ 719:35f1af908dcb

Avoid potential crash when network connection fails
author Chris Cannam
date Tue, 13 May 2014 09:50:59 +0100
parents 72c1dd980802
children 60d3575f8016 c65dde5537bd
line wrap: on
line diff