Updated the ports on planetlab-2.sjtu.edu.cn:10101
and pli1-pa-6.hpl.hp.com:10101