You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
Repository navigation
Can't download petscy4py: "Connection reset by peer" #910
Can you try a 'hit fetch https://bitbucket.org/petsc/petsc4py/downloads/petsc4py-3.6.0.tar.gz' and see if you get the same error? it may be worth checking which version of python you are using, I think there were SSL issues recently, it maybe a case of just disabling the SSL checks just for that one package.
Activity
jcftang commentedon Jan 17, 2016
Can you try with a -v to get some more verbose output? It could have been a transient network problem.
ThomasPKelly commentedon Jan 17, 2016
Thanks for the reply,
I have switched on verbose. Here is the stdout and stderr output.
fen_out.txt
fen_err.txt
jcftang commentedon Jan 17, 2016
Can you try a 'hit fetch https://bitbucket.org/petsc/petsc4py/downloads/petsc4py-3.6.0.tar.gz' and see if you get the same error? it may be worth checking which version of python you are using, I think there were SSL issues recently, it maybe a case of just disabling the SSL checks just for that one package.
jcftang commentedon Jan 17, 2016
FYI -
I seem to be able to get that file without problems from where I am
johannesring commentedon Jan 18, 2016
I also have no problems downloading that file with HashDist.
One workaround you could use is to download the file manually and then use
hit fetchon the local file to add it to the HashDist source cache:ahmadia commentedon Jan 18, 2016
I'm guessing it's a proxy issue. +1 on @johannesring's suggestion.
ThomasPKelly commentedon Jan 18, 2016
@jcftang hit fetch gives the same error unfortunately.
@johannesring Grabbing the file manually and then fetching it from my directory worked!
A question: Is there a reason wget was able to obtain the file, while hit fetch wasn't?
ThomasPKelly commentedon Jan 18, 2016
P.S. This the the output when running wget