Yes, the servers that this has happened on are active and sometimes full on a daily basis. The problem in question has not yet happened on official servers, and Im going to check if it happens on unmodded community servers soon. Its hard to anticipate a crash, more importantly one that can cause an issue like this.