| From: Danny Yoo (dyoo at cs.wpi.edu) Date: Wed Feb 18 09:10:59 EST 2009 |
|
On Wed, Feb 18, 2009 at 9:06 AM, Matthew Flatt <mflatt at cs.utah.edu> wrote: > FWIW, it's working for me at the moment. Strange. I took a closer look: the underlying cause is that I sometimes get connection errors from the web server. That would explain why search doesn't work all the time for me, but I don't know what the deeper cause for the network disconnects are.
| Posted on the dev mailing list. |
|
![[logo]](/logo.png){kind=logo}