gameServer2/src/main.rs
changeset 12852 bd35cb2302b3
parent 12137 193dfdcb0620
child 12853 a9d105dc5c95
--- a/gameServer2/src/main.rs	Tue Dec 05 11:36:29 2017 -0500
+++ b/gameServer2/src/main.rs	Wed Dec 06 23:46:17 2017 +0100
@@ -39,19 +39,19 @@
             if event.kind().is_readable() {
                 match event.token() {
                     utils::SERVER => server.accept(&poll).unwrap(),
-                    tok => server.client_readable(&poll, tok).unwrap(),
+                    Token(tok) => server.client_readable(&poll, tok).unwrap(),
                 }
             }
             if event.kind().is_writable() {
                 match event.token() {
                     utils::SERVER => unreachable!(),
-                    tok => server.client_writable(&poll, tok).unwrap(),
+                    Token(tok) => server.client_writable(&poll, tok).unwrap(),
                 }
             }
             if event.kind().is_hup() || event.kind().is_error() {
                 match event.token() {
                     utils::SERVER => unreachable!(),
-                    tok => server.client_error(&poll, tok).unwrap(),
+                    Token(tok) => server.client_error(&poll, tok).unwrap(),
                 }
             }
         }