Don't use a low port number for ServerShell.

Using port 80 requires sudo on many installations. Far too many applications use 8080, or 8000 so use something different.