Up to Main Index Up to Journal for October, 2016 JOURNAL FOR TUESDAY 18TH OCTOBER, 2016 ______________________________________________________________________________ SUBJECT: Really push out the player name changes this time DATE: Tue 18 Oct 21:48:44 BST 2016 It seems that the change to verify a player's name only contains the upper and lower case letters 'a' to 'z' didn't actually make it into the last update. I've just pushed out another update to the public dev branch which does include those changes. Typing "QUIT" to abort logging into the server is now case insensitive as well. Oh, and Windows shouldn't keep dropping the final "Bye bye..." when the player's connection to the server is closed. Only 12 days left till Halloween... /\oo/\ -- Diddymus Up to Main Index Up to Journal for October, 2016