Please note that, per my message last night, this is also happening (my TA claims he saw the *identical* text: multiple red lines, etc.) on macOS 11. So it's not just for Windows any more.
On Thu, Sep 10, 2020 at 9:20 AM George Neuner <[email protected]> wrote: > > On 9/10/2020 7:37 AM, Hendrik Boom wrote: > > On Thu, Sep 10, 2020 at 12:49:25AM -0400, George Neuner wrote: > > > > > > I don't know if DrRacket even sends a "user agent" string. > > > > If DrRacket can send a user agent string, so can malware. > > > > So it's not really reliable to filter on the user agent string. > > > > -- hendrik > > Of course ... any HTTP request can forge a user agent string: most > browsers allow you to change it, and so do some HTTP aware > applications. E.g., there is a plugin for Firefox that changes it on > the fly based on the URL - use cases involve things like Google image > search behaving differently for Chrome vs non-Chrome users, and > Microsoft sites behaving differently for non-Windows users. > > My point is that there may be something unseen - probably a firewall - > blocking the DrRacket request but not blocking requests from the known > browser. If it isn't some software installed on the machine itself, it > likely is an IT appliance guarding the whole network. Firewall > appliances are NAT routers: they can look inside even encrypted > connections to examine protocols being used and the raw data passing > through. > > Based on the error from Shriram's message, it looks like DrRacket is > successfully calling out but doesn't like/understand the response ... > which would tend to eliminate Windows built-in firewall as a suspect [it > doesn't do protocol inspection]. It still could be other AV/firewall > software on the machine, or something upstream in the network that his > student is unaware of. > > YMMV, > George > > -- > You received this message because you are subscribed to a topic in the > Google Groups "Racket Users" group. > To unsubscribe from this topic, visit > https://groups.google.com/d/topic/racket-users/7rMAEma8Xkg/unsubscribe. > To unsubscribe from this group and all its topics, send an email to > [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/racket-users/8a1628af-b647-5272-1c9a-da347b604091%40comcast.net > . > -- 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/CAJUf2yQcbB98opH%3D%2BYs0R6XTFAY14hphTnQejnvPRf%3D03o12qQ%40mail.gmail.com.
