Connection Problems Resolved

A proxy server had a hardware failure, causing temporary problems in connecting to the cluster. This should be ok by now.