Hi all,

Following my message on the "gdb" list 
(http://sources.redhat.com/ml/gdb/2006-04/msg00327.html),
here is the patch I propose.

Christophe.