<div dir="ltr">I cannot ping the server neither. I am not very sure whether the problem is in network or in the system. Let's try ping galaxy again after dinner. If we still cannot ping galaxy then the problem would be very likely in our system. Because the key is in department office I will fix the problem tomorrow morning when I get the key.<br>
</div><div class="gmail_extra"><br><br><div class="gmail_quote">On 1 May 2013 16:02, Xiao Jia <span dir="ltr"><<a href="mailto:stfairy@gmail.com" target="_blank">stfairy@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
I cannot ping 202.120.38.146<br>
_______________________________________________<br>
Adapt mailing list<br>
<a href="mailto:Adapt@cs.sjtu.edu.cn">Adapt@cs.sjtu.edu.cn</a><br>
<a href="http://cs.sjtu.edu.cn/mailman/listinfo/adapt" target="_blank">http://cs.sjtu.edu.cn/mailman/listinfo/adapt</a><br>
</blockquote></div><br><br clear="all"><div><br></div>-- <br><div dir="ltr"><font face="arial, helvetica, sans-serif">Zheng Wang</font><div><font face="arial, helvetica, sans-serif">ADAPT L<font>ab,</font> SEIEE B<font>uilding</font> 3-513</font></div>
<div><font face="arial, helvetica, sans-serif">Department of Computer Science and Engineering<br></font></div><div><font face="arial, helvetica, sans-serif">Shanghai Jiao Tong University</font></div></div>
</div>