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

Thanks for the suggestion Robby but no luck, I'm afraid.

DrRacket gives the error below. Although it then claims to complete the
installation, the server button doesn't appear even after a restart.

>From the error message it seems that gnu-unzip expects the first two bytes
of the file to be #o037 and #o213. Looking at the .plt file, I can see that
they are indeed those values.

Any idea?

Breanndán



gnu-unzip: bad header
  context...:
   /Applications/Racket v6.0/collects/file/gunzip.rkt:866:2: do-gunzip
exception raised by error escape handler: continuation application: attempt to jump into an escape continuation; original exception raised: gnu-unzip: bad header
not an unpackable distribution archive
  context...:
   /Applications/Racket v6.0/collects/setup/unpack.rkt:274:7
   /Applications/Racket v6.0/collects/setup/setup-core.rkt:197:13: for-loop
   /Applications/Racket v6.0/collects/setup/setup-core.rkt:59:0: setup-core
   /Applications/Racket v6.0/collects/setup/setup.rkt:56:3
exception raised by error escape handler: continuation application: attempt to jump into an escape continuation; original exception raised: not an unpackable distribution archive

Installation complete.



>>>>> "Robby" == Robby Findler <robby at eecs.northwestern.edu> writes:

    Robby> Is he giving a URL to DrRacket? If so could there be something
    Robby> operating at the network layer (a proxy maybe) that gets in the
    Robby> way?

    Robby> A simple thing to try is visit the URL in a browser, save the
    Robby> file and then give DrRacket the path to the file (in that same
    Robby> dialog box).

    Robby> Robby

    Robby> On Wednesday, April 2, 2014, Breanndán Ó Nualláin
    Robby> <bon at science.uva.nl
    >> wrote:

    Robby>     This semester I set up a handin server and all my students
    Robby> are using it ...except for one.

    Robby>     When he tries to install the prepared plt file via "Install
    Robby> .plt file", DrRacket gives the complaint "gnu-gunzip bad
    Robby> header". Does anyone have a pointer to what the problem might
    Robby> be?

    Robby>     He's using DrRacket v6.0.0 on a Mac.

    Robby>     The plt file installs successfully for all other students on
    Robby> a range of Mac, Windows and Linux environments.

    Robby>     Thanks,

    Robby>     Breanndán

    Robby>     ____________________ Racket Users list:
    Robby> http://lists.racket-lang.org/users