comparison deploy/src/archive-tip.sh @ 799:b9633f578069

Fix one actual null pointer deref and a couple of potential ones, plus an uninitialised value (from coverity scan)
author Chris Cannam
date Wed, 03 Sep 2014 09:35:56 +0100
parents d333705f6c29
children 471b0fb002ea
comparison
equal deleted inserted replaced
798:c305961985c4 799:b9633f578069