Don't print the welcome message multiple times on the server console

See #1227