Changed the port server runs on. (I don't know how to open port 9001.)