Fixing dedicated server crash (issue #145)