[plt-dev] Re: [plt-scheme] Searching on docs.plt-scheme disabled?

From: Eli Barzilay (eli at barzilay.org)
Date: Wed Feb 18 09:19:15 EST 2009

On Feb 18, Danny Yoo wrote:
> 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.

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!

Posted on the dev mailing list.