Re: [isabelle-dev] Broken component: jdk7u40

2013-09-30 Thread Makarius
On Mon, 30 Sep 2013, Stefan Berghofer wrote: On 09/17/2013 12:28 PM, Lars Hupel wrote: I was trying to update to the repository version today, but: $ bin/isabelle components -a ### Missing Isabelle component: "/home/lars/.isabelle/contrib/jdk-7u40" Getting "http://isabelle.in.tum.de/components

Re: [isabelle-dev] Broken component: jdk7u40

2013-09-30 Thread Lars Hupel
> I also tried to download jdk7u40 today (twice), and ran into the very same > problem. > Maybe someone should check the configuration of the web server? I just mailed the local sysadmins about that issue. Since this seems to occur every now and then, we'll have to investigate that further. I'll k

Re: [isabelle-dev] Broken component: jdk7u40

2013-09-30 Thread Stefan Berghofer
On 09/17/2013 12:28 PM, Lars Hupel wrote: I was trying to update to the repository version today, but: $ bin/isabelle components -a ### Missing Isabelle component: "/home/lars/.isabelle/contrib/jdk-7u40" Getting "http://isabelle.in.tum.de/components/jdk-7u40.tar.gz"; Unpacking "/home/lars/.isabe

Re: [isabelle-dev] Broken component: jdk7u40

2013-09-17 Thread Lars Hupel
> We've had such incidents before with these huge jdk components. I had > informed the local administrators about it, but they did not have any idea > what could be wrong with the http server -- they made a reboot but it did > not change substantially. If anyone wants to investigate further -- >

Re: [isabelle-dev] Broken component: jdk7u40

2013-09-17 Thread Makarius
On Tue, 17 Sep 2013, Lars Hupel wrote: The reason why I didn't consider "external" issues is that I was under the impression that the integrity of the downloaded artifacts is checked against `Admin/components/components.sha1`, but apparently that is not the case. Is there a reason for that?

Re: [isabelle-dev] Broken component: jdk7u40

2013-09-17 Thread Makarius
On Tue, 17 Sep 2013, Lars Hupel wrote: I was trying to update to the repository version today, but: $ bin/isabelle components -a ### Missing Isabelle component: "/home/lars/.isabelle/contrib/jdk-7u40" Getting "http://isabelle.in.tum.de/components/jdk-7u40.tar.gz"; Unpacking "/home/lars/.isabell

Re: [isabelle-dev] Broken component: jdk7u40

2013-09-17 Thread Bertram Felgenhauer
Lars Hupel wrote: > I was trying to update to the repository version today, but: > > $ bin/isabelle components -a > ### Missing Isabelle component: "/home/lars/.isabelle/contrib/jdk-7u40" > Getting "http://isabelle.in.tum.de/components/jdk-7u40.tar.gz"; > Unpacking "/home/lars/.isabelle/contrib/jd

Re: [isabelle-dev] Broken component: jdk7u40

2013-09-17 Thread Lawrence Paulson
Happened to me too. I deleted the component manually and retried. --lcp On 17 Sep 2013, at 11:28, "Lars Hupel" wrote: > I was trying to update to the repository version today, but: > > $ bin/isabelle components -a > ### Missing Isabelle component: "/home/lars/.isabelle/contrib/jdk-7u40" > Get

Re: [isabelle-dev] Broken component: jdk7u40

2013-09-17 Thread Tobias Nipkow
It worked for me this morning. Tobias Am 17/09/2013 12:28, schrieb Lars Hupel: > I was trying to update to the repository version today, but: > > $ bin/isabelle components -a > ### Missing Isabelle component: "/home/lars/.isabelle/contrib/jdk-7u40" > Getting "http://isabelle.in.tum.de/components

[isabelle-dev] Broken component: jdk7u40

2013-09-17 Thread Lars Hupel
I was trying to update to the repository version today, but: $ bin/isabelle components -a ### Missing Isabelle component: "/home/lars/.isabelle/contrib/jdk-7u40" Getting "http://isabelle.in.tum.de/components/jdk-7u40.tar.gz"; Unpacking "/home/lars/.isabelle/contrib/jdk-7u40.tar.gz" tar: Skipping t