LOGIN/SEARCH SERVER: Added the option to change the search server's default port.