On Feb 18, Danny Yoo wrote:
> On Wed, Feb 18, 2009 at 9:06 AM, Matthew Flatt <[email protected]> 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.
This might explain it -- the index file is quite big, and perhaps your
browser gives up on loading it. Did you try to use the local html and
see if that works?
--
((lambda (x) (x x)) (lambda (x) (x x))) Eli Barzilay:
http://www.barzilay.org/ Maze is Life!
_________________________________________________
For list-related administrative tasks:
http://list.cs.brown.edu/mailman/listinfo/plt-dev
