7.991: should fix mysterious crashing of 4 servers at once.