On 9/9/2020 10:05 PM, Shriram Krishnamurthi wrote:
Thank you. Can you imagine why the proxy would affect DrRacket but not the Web browser?
DrRacket and the browser can be configured independently ... at least for a known proxy. DrRacket's setting is in preferences under "browser". However, if your student is on campus (or at work?), he/she may be behind an upstream system-wide firewall or proxy which is unknown.
Commercial firewalls can read request headers and pass/fail based on the "user agent" string so as to allow known browsers and other vetted applications to operate while rejecting requests from unvetted applications.
I don't know if DrRacket even sends a "user agent" string. George -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/40d69d4d-81cc-525f-5bc2-b22a8f6eb50f%40comcast.net.
