[opentheory-users] Retract upload

[Joe Leslie-Hurd]

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
>>