We're having intermittent problems in which the HelpDesk doesn't come up from the DrRacket menu in our classroom installation. We're running 5.1.3 on Windows 7 64-bit enterprise edition. The default web browser is Internet Explorer 8.
We haven't detected a pattern. Sometimes, simply nothing happens when we invoke HelpDesk from the menu. Other times, it works fine. Our sysadmin reports the following details about our setup: The only thing weird that could be causing the issue from our end, is that we push out the deployment with Microsoft App-V (formerly softgrid) however I've turned on the flag to allow local interaction with the application which by all means allows it to open and run things outside of the application itself. Any ideas, or requests for other info about the system configuration that would help here? thanks, Kathi
_________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev
