Re: [PATCH] gitk: Fix warning when removing a branch (take 2)

From: Paul Mackerras <paulus@samba.org>
Date: Aug 16, 2007, 01:57 UTC
Message-ID: <18115.44826.758536.30810@cargo.ozlabs.ibm.com>
In-Reply-To: <11872265153600-git-send-email-mdl123@verizon.net>

Mark Levedahl writes:

Show 5 quoted lines

> Paul - your commit b1054ac98 did not solve this for me. Playing around, I've
> several times received errors like this when trying to delete a branch:
> 
> can't read "idheads(f7b9ebd595c954cd0803e6b6f1f0f96a966e04c9 a890c4fca84a2a5c7835fe6432ede3e7c4e5426b)": no such element in array
> can't read "idheads(f7b9ebd595c954cd0803e6b6f1f0f96a966e04c9 a890c4fca84a2a5c7835fe6432ede3e7c4e5426b)": no such element in array

Yeah, I missed that case.  Sorry.

>     while executing
> "if {$idheads($dheads) eq $head} {

I think

	if {[llength $dheads] == 1 && $idheads($dheads) eq $head} {

should be what we want.  Could you try that?

Paul.