The new hostname for galaxy is adapt.seiee.sjtu.edu.cn. Xinhui, can you rename the hostname of galaxy to adapt on the server itself? Kenny -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://cs.sjtu.edu.cn/pipermail/adapt/attachments/20111209/90b0fe73/attachment-0001.html>