<div class="gmail_quote">Martin, Tobias,<div><br></div><blockquote style="margin:0 0 0 40px;border:none;padding:0px"><div>Thanks for the info. I'm glad you confirmed there was no "secret" method of emptying the hashtable that I'd missed. Also that my suspicions about invalidating the enumerator if I enumerated-and-removed were correct.</div>

<div><br></div><div>In the end (a Friday afternoon deadline approaching) I decided to simply free all of the memory consumed by the elements in the hashtable followed by deleting the hashtable and creating a new one. I would only do this once, on startup, if a particular sort of error occurred. Not too expensive.</div>

<div><br></div><div>If I get a chance, I'll try out your patch, this may take some weeks to getting around to though.</div><div><br></div><div>Cheers,</div><div><br></div></blockquote><blockquote style="margin:0 0 0 40px;border:none;padding:0px">

<blockquote style="margin:0 0 0 40px;border:none;padding:0px"><div>Graham.</div></blockquote></blockquote><div><div class="gmail_quote"><br></div></div>
</div><br>