1 pub const ACCESS_DENIED: &str = "Access denied.";

     1 pub const ACCESS_DENIED: &str = "Access denied.";

     2 pub const AUTHENTICATION_FAILED: &str = "Authentication failed.";

     2 pub const AUTHENTICATION_FAILED: &str = "Authentication failed.";

     3 pub const ILLEGAL_ROOM_NAME: &str = "Illegal room name! A room name must be between 1-40 characters long, must not have a trailing or leading space and must not have any of these characters: $()*+?[]^{|}";

     3 pub const ILLEGAL_ROOM_NAME: &str = "Illegal room name! A room name must be between 1-40 characters long, must not have a trailing or leading space and must not have any of these characters: $()*+?[]^{|}";

     4 pub const NO_ROOM: &str = "No such room.";

     4 pub const NO_ROOM: &str = "No such room.";

     5 pub const NO_USER: &str = "No such user.";

     6 pub const NO_USER: &str = "No such user.";

     6 pub const REPLAY_LOAD_FAILED: &str = "Could't load the replay";

     8 pub const REPLAY_LOAD_FAILED: &str = "Could't load the replay";

     7 pub const REPLAY_NOT_SUPPORTED: &str = "This server does not support replays!";

     9 pub const REPLAY_NOT_SUPPORTED: &str = "This server does not support replays!";

     8 pub const REGISTRATION_REQUIRED: &str = "This server only allows registered users to join.";

    10 pub const REGISTRATION_REQUIRED: &str = "This server only allows registered users to join.";

     9 pub const REGISTERED_ONLY_ENABLED: &str =

    11 pub const REGISTERED_ONLY_ENABLED: &str =

    10     "This server no longer allows unregistered players to join.";

    12     "This server no longer allows unregistered players to join.";