output port number before serving

fixes #1369. @SGraef can you please review this?