[plt-dev] Re: hosed doc search

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

Robby

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
>