On Wed, May 09, 2012 at 09:51:45PM -0400, Eric Cooper wrote: > This problem has not recurred since I power-cycled my computer. And now that I've been using it for a day or so, the problem is back. I guess it required some pattern of resource usage. -- Eric Cooper e c c @ c m u . e d u