Changes after problems

Did some tests with the websockets server over the Internet.
Apparently the socket 6005 was causing trouble.
This port is now changed.
To keep them together, I changed the normal socket port as well.