I've let ops know, but I am going to close this thread since this isn't a specific bug but a server crash.