20 May
2011
20 May
'11
21:46
Dear Stephan and all others, we removed the rsync push module and configured to mirror buildservice-repos-main (every six hours). Here, too, we will keep an eye on the traffic ratio. Please keep us informed if you have any results or opionions about the previously stated questions and problems. Best regards, -- Carsten Otto otto@informatik.rwth-aachen.de LuFG Informatik 2 http://verify.rwth-aachen.de/otto/ RWTH Aachen phone: +49 241 80-21211