Update shell.sh

Changed the default port to 8080. Oops...