[server-ce] fix shutdown sequence: flush document-updater before history GitOrigin-RevId: b46d25744cb18600e93b90e0ace5d4e1e563ebd2