source cache mirror

[Johannes Ring]

Hi,

I have added a source cache mirror for hashdist at http://fenicsproject.org/pub/hashdist/src/ in ~/.hashdist/config.yaml and it turns out that if a source is not available in the source cache mirror, then hashdist will fail to download the source. I was expecting it to first try to download from the source cache mirror and then try the original URL if it fails. Is this a bug or is it supposed to be like this? Any thoughts?

Johannes

[Chris Kees]

I will check some of my source caches. I thought it  had  been printing an error but continuing to the original url if it was not available.

--
You received this message because you are subscribed to the Google Groups "hashdist" group.
To unsubscribe from this group and stop receiving emails from it, send an email to hashdist+u...@googlegroups.com.
To post to this group, send email to hash...@googlegroups.com.
Visit this group at http://groups.google.com/group/hashdist.
To view this discussion on the web visit https://groups.google.com/d/msgid/hashdist/CALjQY_EDwyeOEVk7u-eZTw4S7NaKGDZrddqOdF8%2BQRwuaPkFjQ%40mail.gmail.com.
For more options, visit https://groups.google.com/d/optout.

[Aron Ahmadia]

I thin there are situations where you don't want HashDist to seek remote URLs, but that should be orthogonal to whether a remote source cache is available.  I'd file this as a bug against HashDist.

To view this discussion on the web visit https://groups.google.com/d/msgid/hashdist/CAOVFbFg5DqT8y2_XHFiAyTq8Aa10kDKG4bBqh6P5%2BiA8NQCu3A%40mail.gmail.com.

[Johannes Ring]

Thank you both. I have filed a bug report here: https://github.com/hashdist/hashdist/issues/353

Johannes

To view this discussion on the web visit https://groups.google.com/d/msgid/hashdist/CAPhiW4iudEWDbc-Q0P_bzxLVVDV0dHheHCkzxCZUXeOp30v3nA%40mail.gmail.com.