>>>>> "Tom" == Tom Tromey <tromey@redhat.com> writes: Tom> I'd appreciate comments on this patch. Tom> I have no idea whether it is the best way to fix the problem. I somehow forgot to turn the test case into a patch against the test suite. So, please look at the patch; but know that I will not check anything in until the test case is written up. thanks, Tom