savannah-hackers
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[savannah-help-public] [sr #109864] Cannot access CVS web pages reposito

From: Ineiev
Subject: [savannah-help-public] [sr #109864] Cannot access CVS web pages repository as member
Date: Mon, 29 Jul 2019 05:09:47 -0400 (EDT)
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Firefox/68.0 
Update of sr #109864 (project administration):

                  Status:                    None => In Progress            
             Assigned to:                    None => ineiev                 

    _______________________________________________________

Follow-up Comment #1:

This works for me:

$ cvs -z3 -d:ext:address@hidden:/web/isarmathlib co
isarmathlib
cvs checkout: Updating isarmathlib
U isarmathlib/index.html
U isarmathlib/isabelle.css
cvs checkout: Updating isarmathlib/IsarMathLib
U isarmathlib/IsarMathLib/AbelianGroup_ZF.html
...


Note that there is no connection timeout.  Any chances that that was a
temporary failure?

    _______________________________________________________

Reply to this item at:

  <https://savannah.nongnu.org/support/?109864>

_______________________________________________
  Message sent via Savannah
  https://savannah.nongnu.org/
reply via email to
[Prev in Thread] Current Thread [Next in Thread]