[opentheory-users] Retract upload

[Ramana Kumar]

Hi Joe,

Thank you very much for looking into this and solving the problem.
Don't worry about the delay, it was not urgent.
I have tried uploading the packages again, and it seems to have worked :)

Cheers,
Ramana

On 27 July 2016 at 15:47, Joe Leslie-Hurd <joe at leslie-hurd.com> wrote:

> Hi Ramana,
>
> Sorry for the long delay on resolving this issue.
>
> <executive-summary>It's all fixed: please try uploading the arm-model
> package to the Gilith repo again.</executive-summary>
>
> <gory-details>The root cause was a failure of the Gilith repo to
> handle the situation where uploaded packages successfully install, but
> with warnings. I believe I have fixed the repo code to handle this
> case properly now: theories that generate warnings when installed are
> not accepted for upload (and they are now cleanly removed from the
> staging area).
>
> The reason that the arm-model package generated warnings is that its
> theorems contain terms with size larger than 10,000 nodes. The default
> behaviour for the opentheory tool is to abbreviate such terms as
> term{N} where N is the size, and generate a warning whenever this
> occurs. I believe this is still useful behaviour when outputting a
> theory on the command line like so:
>
> opentheory info --theory arm-model
>
> However, I believe this abbreviating of large terms is not so useful
> when generating the HTML package document as part of installing a
> theory, so the latest version of the opentheory tool (release
> 20160726) no longer abbreviates terms when generating HTML package
> documents. Thus the arm-model theory will no longer generate this
> warning and will (presumably) now be accepted as an upload to the
> Gilith repo.</gory-details>
>
> Thank you for your patience while I was investigating and fixing this.
>
> Cheers,
>
> Joe
>
>
> On Wed, Jun 8, 2016 at 11:51 PM, Joe Leslie-Hurd <joe at leslie-hurd.com>
> wrote:
> > Hi Ramana,
> >
> > Thanks for trying again - I have enough information now to try to
> > reproduce this error, so I'll try to get to the bottom of it.
> >
> > Cheers,
> >
> > Joe
> >
> > On Wed, Jun 8, 2016 at 12:55 AM, Ramana Kumar <ramana at member.fsf.org>
> wrote:
> >> Hi Joe,
> >>
> >> Thanks for looking into this.
> >>
> >> I retried today, and something weird happened again:
> >>
> >> started upload to gilith repo:
> >>   http://opentheory.gilith.com/?upload=32b54e40e38f00cd331f0a6eabb68d99
> >> encountered error, so deleted upload to gilith repo
> >>
> >> FATAL ERROR: opentheory failed:
> >> error response from repo:
> >> gilith repo: failed to upload package arm-model-1.0:
> >> WARNING: term too large to print
> >> WARNING: term too large to print
> >> WARNING: term too large to print
> >> WARNING: term too large to print
> >> WARNING: term too large to print
> >> WARNING: term too large to print
> >> WARNING: term too large to print
> >> WARNING: term too large to print
> >> WARNING: term too large to print
> >> WARNING: term too large to print
> >> package upload failed
> >> package upload failed
> >>
> >> What should I do?
> >>
> >> Cheers,
> >> Ramana
> >>
> >>
> >> On 16 May 2016 at 15:25, Joe Leslie-Hurd <joe at gilith.com> wrote:
> >>>
> >>> Hi Ramana,
> >>>
> >>> Yes, you are quite correct. There were two packages in the staging
> >>> area with no corresponding active uploads, which I was able to
> >>> cleanup:
> >>>
> >>> $ opentheory cleanup
> >>> cleaned up staged package arm-model-1.0
> >>> cleaned up staged package arm-step-1.0
> >>>
> >>> I have no idea how it happened. Please retry the upload and let me
> >>> know if something weird happens again.
> >>>
> >>> Cheers,
> >>>
> >>> Joe
> >>>
> >>>
> >>> On Fri, May 13, 2016 at 4:33 PM, Ramana Kumar <ramana at member.fsf.org>
> >>> wrote:
> >>> > I have tried all the links sent by email and they all say the upload
> has
> >>> > been confirmed or expired. I don't think any link was sent for the
> >>> > original
> >>> > failing upload which has left something in the staging area.
> >>> >
> >>> > On 14 May 2016 03:19, "Joe Leslie-Hurd" <joe at gilith.com> wrote:
> >>> >>
> >>> >> Hi Ramana,
> >>> >>
> >>> >> You should have received an email asking you to confirm the upload.
> If
> >>> >> you visit that link you can click on the other option,
> >>> >>
> >>> >> "Report to the repo maintainer that I am not the author"
> >>> >>
> >>> >> which should delete the upload.
> >>> >>
> >>> >> Cheers,
> >>> >>
> >>> >> Joe
> >>> >>
> >>> >> On Fri, May 13, 2016 at 1:45 AM, Ramana Kumar <
> ramana at member.fsf.org>
> >>> >> wrote:
> >>> >> > Hi,
> >>> >> >
> >>> >> > I am trying to upload a package to the Gilith OpenTheory
> repository
> >>> >> > using
> >>> >> > the opentheory tool. The upload fails with this error:
> >>> >> >
> >>> >> > Error: package arm-model-1.0 is already staged for installation
> >>> >> >
> >>> >> > I think the only reason it is already staged for installation is
> due
> >>> >> > to
> >>> >> > a
> >>> >> > failed attempt of mine previously to upload the package. Is there
> any
> >>> >> > way
> >>> >> > for me to cancel this attempt if I have lost the link the tool
> >>> >> > printed
> >>> >> > out
> >>> >> > initially?
> >>> >> >
> >>> >> > (My next question is going to be about why the initial failure
> >>> >> > occurred
> >>> >> > (there was no error message as far as I recall)...)
> >>> >> >
> >>> >> > Cheers,
> >>> >> > Ramana
> >>> >> >
> >>> >> >
> >>> >> > _______________________________________________
> >>> >> > opentheory-users mailing list
> >>> >> > opentheory-users at gilith.com
> >>> >> > http://www.gilith.com/opentheory/mailing-list
> >>> >> >
> >>> >>
> >>> >> _______________________________________________
> >>> >> opentheory-users mailing list
> >>> >> opentheory-users at gilith.com
> >>> >> http://www.gilith.com/opentheory/mailing-list
> >>> >
> >>> >
> >>> > _______________________________________________
> >>> > opentheory-users mailing list
> >>> > opentheory-users at gilith.com
> >>> > http://www.gilith.com/opentheory/mailing-list
> >>> >
> >>>
> >>> _______________________________________________
> >>> opentheory-users mailing list
> >>> opentheory-users at gilith.com
> >>> http://www.gilith.com/opentheory/mailing-list
> >>
> >>
> >>
> >> _______________________________________________
> >> opentheory-users mailing list
> >> opentheory-users at gilith.com
> >> http://www.gilith.com/opentheory/mailing-list
> >>
>
> _______________________________________________
> opentheory-users mailing list
> opentheory-users at gilith.com
> http://www.gilith.com/opentheory/mailing-list
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.gilith.com/opentheory/mailing-list/attachments/20160728/d6b4aec5/attachment.html>