debug_reload output

[Christian Iseli]

>   In message < 199710150932.LAA17687@lslsun17.epfl.ch >you write:
>   > I agree that the two function thing is the best approach.  How about
>   > debug_reload_to_stream(FILE *) as the new function?
> That would be fine.
> 
> What I would suggest you do is have debug_reload_to_stream actually
> have the real code to output the info.  debug_reload would then just
> call debug_reload_to_stream with stderr as its argument.

Just what I had in mind :-)  I should be sending you a new patch shortly,
if there are no strong objections...

					Christian