Samuel Bernard 937810d0d7 Add getter for local port of server socket
Having a getter for the local port of the server socket permits the
use of port 0.

While creating a ServerSocket, port 0 means the socket will use any
available port of the system. To know which port was chosen, you need
the getter added by this commit.
2014-02-25 19:48:54 +01:00
..