mirror of
https://github.com/postgres/postgres.git
synced 2025-09-08 00:47:37 +03:00
service it until after we execute SetThisStartUpID(). Else shutdown process will write the wrong SUI into the shutdown checkpoint, which seems likely to be trouble --- although I've not quite figured out how significant it really is.