Hi, I opened this bug. About a week later, I realized it was "user error". This bug should be closed.
My error is that I forgot to delete an iterator, resulting in a memory leak. After a while, the memory leak was large enough that this error popped up. Fixing the leak made the issue go away. --linas -- Patrick: Are they laughing at us? Sponge Bob: No, Patrick, they are laughing next to us.
