Re: 1.6 and /dev/reload

[Gunther Nikl <gni%gecko.de@localhost>]

On Wed, Jul 09, 2003 at 04:31:08PM +0200, Gunther Nikl wrote:
> On Mon, Jul 07, 2003 at 12:04:05PM +0200, Gunther Nikl wrote:
> >  I am still trying to support symbol loading.
> 
>   I managed to add symbol loading to /dev/reload.

  The code can found here: PR/22140

  Gunther