[racket] handin-server install problem: gnu-gunzip bad header

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 <bon at 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
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20140402/ea13468b/attachment.html>