7.891: fixed very dumb crash during server reload.