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?<div><br></div><div>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).</div>
<div><br></div><div>Robby<br><br>On Wednesday, April 2, 2014, Breanndán Ó Nualláin <<a href="mailto:bon@science.uva.nl">bon@science.uva.nl</a>> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
This semester I set up a handin server and all my students are using it<br>
...except for one.<br>
<br>
When he tries to install the prepared plt file via "Install .plt file",<br>
DrRacket gives the complaint "gnu-gunzip bad header". Does anyone have a<br>
pointer to what the problem might be?<br>
<br>
He's using DrRacket v6.0.0 on a Mac.<br>
<br>
The plt file installs successfully for all other students on a range of<br>
Mac, Windows and Linux environments.<br>
<br>
Thanks,<br>
<br>
Breanndán<br>
<br>
____________________<br>
  Racket Users list:<br>
  <a href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/users</a><br>
</blockquote></div>