Misc fixes

The first thing I tried here was to start a server on 8888, which failed because I had some other server using up that port. 
The error message is pretty much useless. Considering 8888 is a fairly common port, this might help