recovery at server re-start from crash