> Did you create that ticket? I am still experiencing the same problem > occasionally, I'd like to help debug it. > > Tom > I did, and it got closed as a duplicate of 1047. 1047 has now been fixed (8745), so hopefully you won't see the problem again. Ben