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<e...@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 > _________________________________________________ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev
