diff make-dist @ 100322:1a986381709d

(main): Fail in case of not being able to connect.
author Dan Nicolaescu <dann@ics.uci.edu>
date Wed, 10 Dec 2008 15:24:22 +0000
parents 9419b837e9c6
children 38e7317321ea
line wrap: on
line diff