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 racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/40d69d4d-81cc-525f-5bc2-b22a8f6eb50f%40comcast.net.
