Added make-initial-server-state.