[server] Change server's default port to 4545.