gameServer2/src/server/server.rs
changeset 12148 8591375271b8
parent 12147 03ccb89820f3
child 12852 bd35cb2302b3
--- a/gameServer2/src/server/server.rs	Sat Feb 04 19:52:38 2017 +0300
+++ b/gameServer2/src/server/server.rs	Mon Feb 06 17:54:27 2017 +0300
@@ -94,6 +94,7 @@
     pub id: Token,
     pub name: String,
     pub password: Option<String>,
+    pub protocol_number: u32,
     pub ready_players_number: u8,
 }
 
@@ -103,6 +104,7 @@
             id: Token(0),
             name: String::new(),
             password: None,
+            protocol_number: 0,
             ready_players_number: 0,
         }
     }