[plt-dev] Re: hosed doc search

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Tue Sep 1 18:23:17 EDT 2009

Can javascript not check to see if the file pointed at by PLT_Root
exists and (if not) just pretend it isn't set?


On Tue, Sep 1, 2009 at 5:05 PM, Eli Barzilay<eli at barzilay.org> wrote:
> On Sep  1, Matthew Flatt wrote:
>> You might need to delete a cookie with "PLT_Root" in its name.
>> I had to do that once after I installed a Planet package, opened
>> docs with `plt-help', and then removed the version-specific
>> subdirectory in my ".plt-scheme" directory. Searching got confused
>> because the index file had disappeared, and the "PLT_Root" cookie
>> points to that index file.
> This is not the first time this happened, and I still don't have an
> idea how it can be fixed.  Just in case someone has a good idea.
> [Moved to plt-dev.]
> --
>          ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:
>                    http://barzilay.org/                   Maze is Life!
> _________________________________________________
>  For list-related administrative tasks:
>  http://list.cs.brown.edu/mailman/listinfo/plt-dev

Posted on the dev mailing list.