16 Nov
2011
16 Nov
'11
11:50
Hi, it seems there is some kind of problem with ftp.halifax.rwth-aachen.de. We do not get any traffic, but synchronize every few hours (and I ran all jobs manually shortly after your mail). Could you investigate? Thanks, -- Carsten Otto otto@informatik.rwth-aachen.de LuFG Informatik 2 http://verify.rwth-aachen.de/otto/ RWTH Aachen phone: +49 241 80-21211