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

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Fri Apr 4 08:46:04 EDT 2014

I don't have any ideas. Are you using the machine yourself to try this out?

Can you point me to the file so I can try it?

Oh, except one thing: the "installation complete" message is completely
misleading here. It just means "I'm done" not "I succeeded".

Robby


On Thu, Apr 3, 2014 at 11:40 PM, Breanndán Ó Nualláin <bon at science.uva.nl>wrote:

> 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
>
> ____________________
>   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/20140404/964333b1/attachment.html>

Posted on the users mailing list.