pub_dev.sh改名为pub_server