mirror of
https://github.com/postgres/postgres.git
synced 2025-11-12 05:01:15 +03:00
actually) to ensure that its file access time doesn't get old enough to tempt a /tmp directory cleaner to remove it. Still another reason we should never have put the sockets in /tmp in the first place ...