- make it possible to always have the separate IPINFO message - also print the IPINFO message into the Server Menu
- make it possible to always have the separate IPINFO message
- also print the IPINFO message into the Server Menu


kongr45gpen/bzflag-import-1,kongr45gpen/bzflag-import-1,kongr45gpen/bzflag-import-1,kongr45gpen/bzflag-import-1,kongr45gpen/bzflag-import-1,kongr45gpen/bzflag-import-1