public String getNetworkPlayerInfo(Player player) {
   return (getPlayerInfo(player) + ";" + player.getHost() + ";" + player.getPort());
 }