He's using curl.
On Sat, Nov 1, 2014 at 7:17 PM, Brad Roberts via dmd-beta <[email protected]> wrote: > What http library are you using that can't tell you that the status code > isn't 200 but instead is a 404? > > > On 11/1/2014 12:30 AM, Andrei Alexandrescu wrote: >> >> Well here's a problem I'm encountering. I download .tar.gz stuff for the >> previous months. Right now it's Nov 1 0:27 so my system is looking for >> https://issues.dlang.org/s3logs/previous/2014-10.tar.gz. That's not yet >> there, which is fine. However, when I download (with curl) I don't get a >> nice error, I get an HTML page containing the error as text instead of >> the .tar.gz file. Subsequently my automated code attempts to untar the >> file and obviously fails. >> >> That's why I think ftp or ssh would be better. Any solution with what we >> have? >> >> >> Andrei >> >> On 10/16/14 12:58 AM, Brad Roberts via dmd-beta wrote: >>> >>> It's semi-automated. None of the issues between current and more >>> automated are difficult, but there's a bunch of little things. It's >>> really pretty easy for me to do the syncing, so I haven't really >>> bothered to invest in it. >>> >>> The largest stumbling block, not for automation, but long term single >>> point of failure issues is that the s3 bucket is owned by my personal >>> account along with a bunch of other things. It'd be better to have a >>> standalone account for just that bucket. Also not hard to change, but >>> requires effort and some down time. Just hasn't been worth doing. >>> >>> Really, it takes me just a couple minutes to do, which is dominated by >>> network file transfers. >>> >>> On 10/15/2014 11:14 PM, Jacob Carlborg via dmd-beta wrote: >>>> >>>> On Oct 15, 2014, at 10:36 PM, Martin Nowak via dmd-beta >>>> <[email protected]> wrote: >>>> >>>>> Files are uploaded to my webserver, someone needs to copy them to >>>>> ftp.digitalmars.com and the S3 server. >>>> >>>> >>>> How automated is this process now? What's missing to make it completely >>>> automatic except for entering passwords/API keys and similar? >>>> >>>> -- >>>> /Jacob Carlborg >>>> >>>> >>>> _______________________________________________ >>>> dmd-beta mailing list >>>> [email protected] >>>> http://lists.puremagic.com/mailman/listinfo/dmd-beta >>>> >>> _______________________________________________ >>> dmd-beta mailing list >>> [email protected] >>> http://lists.puremagic.com/mailman/listinfo/dmd-beta > > _______________________________________________ > dmd-beta mailing list > [email protected] > http://lists.puremagic.com/mailman/listinfo/dmd-beta _______________________________________________ dmd-beta mailing list [email protected] http://lists.puremagic.com/mailman/listinfo/dmd-beta
