Fixed|ServerApp: Managing World audiences at shutdown (ShellUsers)
ShellUsers was trying to remove its World observer after World hadalready been destroyed.
View differences
Fixed|ServerApp: Managing World audiences at shutdown (ShellUsers)
ShellUsers was trying to remove its World observer after World had
already been destroyed.