[plt-dev] Re: [plt-scheme] Searching on docs.plt-scheme disabled?
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!