[opentheory-users] Retract upload

[Joe Leslie-Hurd]

Hi Ramana,

Everything looks good on my end too - thanks for your persistence
seeing it through.

Cheers,

Joe

On Wed, Jul 27, 2016 at 6:14 PM, Ramana Kumar <ramana at member.fsf.org> wrote:
> 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
>
>
>
> _______________________________________________
> opentheory-users mailing list
> opentheory-users at gilith.com
> http://www.gilith.com/opentheory/mailing-list
>