由于在家访问服务器时用内部IP，在外面则用外部IP，因此要修改hosts文件。但是，如果不重启动的话，不能立即奏效。经过一番折腾，发现下述命令可以清除有关的缓存，从而使其生效：

dscacheutil -flushcache