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
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
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
Happened to me too. I deleted the component manually and retried.
--lcp
On 17 Sep 2013, at 11:28, Lars Hupel hu...@in.tum.de wrote:
I was trying to update to the repository version today, but:
$ bin/isabelle components -a
### Missing Isabelle component:
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
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?
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 --