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
> 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
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
> 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 --
>
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?
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
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
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
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
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
10 matches
Mail list logo