From joe at leslie-hurd.com Wed Jul 27 05:47:51 2016 From: joe at leslie-hurd.com (Joe Leslie-Hurd) Date: Tue, 26 Jul 2016 22:47:51 -0700 Subject: [opentheory-users] Retract upload In-Reply-To: References: Message-ID: Hi Ramana, Sorry for the long delay on resolving this issue. It's all fixed: please try uploading the arm-model package to the Gilith repo again. 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. 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 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 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 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 >>> 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" 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 >>> >> 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/mailman/listinfo/opentheory-users >>> >> > >>> >> >>> >> _______________________________________________ >>> >> opentheory-users mailing list >>> >> opentheory-users at gilith.com >>> >> http://www.gilith.com/mailman/listinfo/opentheory-users >>> > >>> > >>> > _______________________________________________ >>> > opentheory-users mailing list >>> > opentheory-users at gilith.com >>> > http://www.gilith.com/mailman/listinfo/opentheory-users >>> > >>> >>> _______________________________________________ >>> opentheory-users mailing list >>> opentheory-users at gilith.com >>> http://www.gilith.com/mailman/listinfo/opentheory-users >> >> >> >> _______________________________________________ >> opentheory-users mailing list >> opentheory-users at gilith.com >> http://www.gilith.com/mailman/listinfo/opentheory-users >> From ramana at member.fsf.org Thu Jul 28 01:14:24 2016 From: ramana at member.fsf.org (Ramana Kumar) Date: Thu, 28 Jul 2016 11:14:24 +1000 Subject: [opentheory-users] Retract upload In-Reply-To: References: Message-ID: 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 wrote: > Hi Ramana, > > Sorry for the long delay on resolving this issue. > > It's all fixed: please try uploading the arm-model > package to the Gilith repo again. > > 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. > > 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 > 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 > 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 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 > >>> 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" 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/mailman/listinfo/opentheory-users > >>> >> > > >>> >> > >>> >> _______________________________________________ > >>> >> opentheory-users mailing list > >>> >> opentheory-users at gilith.com > >>> >> http://www.gilith.com/mailman/listinfo/opentheory-users > >>> > > >>> > > >>> > _______________________________________________ > >>> > opentheory-users mailing list > >>> > opentheory-users at gilith.com > >>> > http://www.gilith.com/mailman/listinfo/opentheory-users > >>> > > >>> > >>> _______________________________________________ > >>> opentheory-users mailing list > >>> opentheory-users at gilith.com > >>> http://www.gilith.com/mailman/listinfo/opentheory-users > >> > >> > >> > >> _______________________________________________ > >> opentheory-users mailing list > >> opentheory-users at gilith.com > >> http://www.gilith.com/mailman/listinfo/opentheory-users > >> > > _______________________________________________ > opentheory-users mailing list > opentheory-users at gilith.com > http://www.gilith.com/mailman/listinfo/opentheory-users > -------------- next part -------------- An HTML attachment was scrubbed... URL: From joe at leslie-hurd.com Thu Jul 28 16:42:08 2016 From: joe at leslie-hurd.com (Joe Leslie-Hurd) Date: Thu, 28 Jul 2016 09:42:08 -0700 Subject: [opentheory-users] Retract upload In-Reply-To: References: Message-ID: 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 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 wrote: >> >> Hi Ramana, >> >> Sorry for the long delay on resolving this issue. >> >> It's all fixed: please try uploading the arm-model >> package to the Gilith repo again. >> >> 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. >> >> 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 >> 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 >> > 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 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 >> >>> 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" 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 >> >>> >> >> >>> >> 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/mailman/listinfo/opentheory-users >> >>> >> > >> >>> >> >> >>> >> _______________________________________________ >> >>> >> opentheory-users mailing list >> >>> >> opentheory-users at gilith.com >> >>> >> http://www.gilith.com/mailman/listinfo/opentheory-users >> >>> > >> >>> > >> >>> > _______________________________________________ >> >>> > opentheory-users mailing list >> >>> > opentheory-users at gilith.com >> >>> > http://www.gilith.com/mailman/listinfo/opentheory-users >> >>> > >> >>> >> >>> _______________________________________________ >> >>> opentheory-users mailing list >> >>> opentheory-users at gilith.com >> >>> http://www.gilith.com/mailman/listinfo/opentheory-users >> >> >> >> >> >> >> >> _______________________________________________ >> >> opentheory-users mailing list >> >> opentheory-users at gilith.com >> >> http://www.gilith.com/mailman/listinfo/opentheory-users >> >> >> >> _______________________________________________ >> opentheory-users mailing list >> opentheory-users at gilith.com >> http://www.gilith.com/mailman/listinfo/opentheory-users > > > > _______________________________________________ > opentheory-users mailing list > opentheory-users at gilith.com > http://www.gilith.com/mailman/listinfo/opentheory-users >