manager: hackily prevent double-shutdowns. I'm probably going to make a 'Mark2Stop' event to deal with this mess.
Don't die horrible if we encounter a character we can't encode for the server's stdin. Instead, just skip the character.
Remove support for colour codes on server stdin; Mojang removed this in Minecraft 1.6 for good.