<div dir="ltr">I'm sorry, I'm still not seeing how this can happen, unless the file is corrupt. I've pushed a change to DrRacket so that it prints the first 100 characters of the file it is trying to unpack in hopes that that might give us a clue to what's going wrong.<div>
<br></div><div>There should be a new snapshot build available here:</div><div><br></div><div>  <a href="http://www.cs.utah.edu/plt/snapshots/">http://www.cs.utah.edu/plt/snapshots/</a></div><div>  <a href="http://plt.eecs.northwestern.edu/snapshots/">http://plt.eecs.northwestern.edu/snapshots/</a></div>
<div><br></div><div>tomorrow morning. (If the title of the page doesn't start with "20140407-" then that means the snapshot build failed and you won't find my change in those builds.)</div><div><br></div>
<div>If you have access to the machine, it should be easy to download the appropriate version and give it a try.</div><div><br></div><div>Sorry I don't have better news....</div><div><br></div><div>Robby</div><div><br>
</div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Fri, Apr 4, 2014 at 7:46 AM, Robby Findler <span dir="ltr"><<a href="mailto:robby@eecs.northwestern.edu" target="_blank">robby@eecs.northwestern.edu</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">I don't have any ideas. Are you using the machine yourself to try this out?<div><br></div><div>Can you point me to the file so I can try it?</div>
<div><br></div><div>Oh, except one thing: the "installation complete" message is completely misleading here. It just means "I'm done" not "I succeeded".</div><span class="HOEnZb"><font color="#888888">
<div><br>Robby</div></font></span></div><div class="HOEnZb"><div class="h5"><div class="gmail_extra"><br><br><div class="gmail_quote">On Thu, Apr 3, 2014 at 11:40 PM, Breanndán Ó Nualláin <span dir="ltr"><<a href="mailto:bon@science.uva.nl" target="_blank">bon@science.uva.nl</a>></span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Thanks for the suggestion Robby but no luck, I'm afraid.<br>
<br>
DrRacket gives the error below. Although it then claims to complete the<br>
installation, the server button doesn't appear even after a restart.<br>
<br>
>From the error message it seems that gnu-unzip expects the first two bytes<br>
of the file to be #o037 and #o213. Looking at the .plt file, I can see that<br>
they are indeed those values.<br>
<br>
Any idea?<br>
<br>
Breanndán<br>
<br>
<br>
<br>
gnu-unzip: bad header<br>
  context...:<br>
   /Applications/Racket v6.0/collects/file/gunzip.rkt:866:2: do-gunzip<br>
exception raised by error escape handler: continuation application: attempt to jump into an escape continuation; original exception raised: gnu-unzip: bad header<br>
not an unpackable distribution archive<br>
  context...:<br>
   /Applications/Racket v6.0/collects/setup/unpack.rkt:274:7<br>
   /Applications/Racket v6.0/collects/setup/setup-core.rkt:197:13: for-loop<br>
   /Applications/Racket v6.0/collects/setup/setup-core.rkt:59:0: setup-core<br>
   /Applications/Racket v6.0/collects/setup/setup.rkt:56:3<br>
exception raised by error escape handler: continuation application: attempt to jump into an escape continuation; original exception raised: not an unpackable distribution archive<br>
<br>
Installation complete.<br>
<div><br>
<br>
<br>
>>>>> "Robby" == Robby Findler <<a href="mailto:robby@eecs.northwestern.edu" target="_blank">robby@eecs.northwestern.edu</a>> writes:<br>
<br>
    Robby> Is he giving a URL to DrRacket? If so could there be something<br>
    Robby> operating at the network layer (a proxy maybe) that gets in the<br>
    Robby> way?<br>
<br>
    Robby> A simple thing to try is visit the URL in a browser, save the<br>
    Robby> file and then give DrRacket the path to the file (in that same<br>
    Robby> dialog box).<br>
<br>
    Robby> Robby<br>
<br>
</div><div>    Robby> On Wednesday, April 2, 2014, Breanndán Ó Nualláin<br>
</div><div>    Robby> <<a href="mailto:bon@science.uva.nl" target="_blank">bon@science.uva.nl</a><br>
    >> wrote:<br>
<br>
    Robby>     This semester I set up a handin server and all my students<br>
    Robby> are using it ...except for one.<br>
<br>
    Robby>     When he tries to install the prepared plt file via "Install<br>
    Robby> .plt file", DrRacket gives the complaint "gnu-gunzip bad<br>
    Robby> header". Does anyone have a pointer to what the problem might<br>
    Robby> be?<br>
<br>
    Robby>     He's using DrRacket v6.0.0 on a Mac.<br>
<br>
    Robby>     The plt file installs successfully for all other students on<br>
    Robby> a range of Mac, Windows and Linux environments.<br>
<br>
    Robby>     Thanks,<br>
<br>
    Robby>     Breanndán<br>
<br>
    Robby>     ____________________ Racket Users list:<br>
    Robby> <a href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/users</a><br>
<br>
</div><div><div>____________________<br>
  Racket Users list:<br>
  <a href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/users</a><br>
</div></div></blockquote></div><br></div>
</div></div></blockquote></div><br></div>