debug_reload output

[Joern Rennecke]

> 
> Hi,
> 
> I would like to be able to redirect the output of de debug_reload routine
> to something else than stderr, e.g., the greg dump file...

That would be a considerable nuisance - instead of
call debug_reload()
you'd have to type
call debug_reload(stderr)
all the time in gdb - and if you forget it just once, the debugged
process will crash and you have to start it all over again.
If you must have a function that is like debug_reload but accepts an
output stream as parameter, I'd prefer if you call it something else
and have debug_reload calling it.