The extrainfo patch for servers should store a piece of metadata that indicates whether the player has mail turned on, so that a person spectating a game in dgamelaunch who tries to mail a player with mail turned off will get a message explaining that.