Zsh Mailing List Archive Messages sorted by: Reverse Date, Date, Thread, Author

Re: PATCH: check deleted .zwc files

X-seq: zsh-workers 14831
From: Clint Adams <clint@xxxxxxx>
To: Andrej Borsenkow <Andrej.Borsenkow@xxxxxxxxxxxxxx>
Subject: Re: PATCH: check deleted .zwc files
Date: Sun, 10 Jun 2001 07:11:02 -0400
Cc: zsh-workers@xxxxxxxxxx
In-reply-to: <001301c0f0a6$4c2a6ca0$21c9ca95@xxxxxxxxxxxxxx>; from Andrej.Borsenkow@xxxxxxxxxxxxxx on Sat, Jun 09, 2001 at 09:37:39AM +0400
Mailing-list: contact zsh-workers-help@xxxxxxxxxx; run by ezmlm
References: <20010608155309.A6700@xxxxxxxx> <001301c0f0a6$4c2a6ca0$21c9ca95@xxxxxxxxxxxxxx>

> You mean, it will be loaded (mapped) again? Then it is potential (albeit
> slow) memory leak.

It's not really being loaded again, since it's a different file.

References:
- Re: PATCH: check deleted .zwc files
  - From: Clint Adams
- RE: PATCH: check deleted .zwc files
  - From: Andrej Borsenkow

Messages sorted by: Reverse Date, Date, Thread, Author