Is he giving a URL to DrRacket? If so could there be something operating at the network layer (a proxy maybe) that gets in the way?
A simple thing to try is visit the URL in a browser, save the file and then give DrRacket the path to the file (in that same dialog box). Robby On Wednesday, April 2, 2014, Breanndán Ó Nualláin <b...@science.uva.nl> wrote: > This semester I set up a handin server and all my students are using it > ...except for one. > > When he tries to install the prepared plt file via "Install .plt file", > DrRacket gives the complaint "gnu-gunzip bad header". Does anyone have a > pointer to what the problem might be? > > He's using DrRacket v6.0.0 on a Mac. > > The plt file installs successfully for all other students on a range of > Mac, Windows and Linux environments. > > Thanks, > > Breanndán > > ____________________ > Racket Users list: > http://lists.racket-lang.org/users >
____________________ Racket Users list: http://lists.racket-lang.org/users
