[plt-scheme] 299.408 help-desk and old planet libraries

From: Anton van Straaten (anton at appsolutions.com)
Date: Sat Dec 10 18:07:37 EST 2005

Jens Axel Søgaard wrote:
> That must be bug 7287 and 7601 you are talking about.

Yes, I guess mine was the same as 7601.  I don't recall whether HTMLPrag 
was the library which was mentioned in the error message, but it might 
very well have been.

BTW, I'm not sure that recompiling .zo-files in the PLaneT cache, as the 
problem report synopsis suggests, is the right solution, for the reasons 
I mentioned -- you might want to have more than one version installed at 
the same time, or even running at the same time.

While you might not (normally) want to run two different versions of 
DrScheme at the same time, you might run e.g. the web server and 
DrScheme at the same time, or a live and a test instance of the web 
server on different ports, etc.

Anton


Posted on the users mailing list.