Standardize format for printing PIDs
authorPeter Eisentraut <peter@eisentraut.org>
Fri, 14 Oct 2022 06:37:12 +0000 (08:37 +0200)
committerPeter Eisentraut <peter@eisentraut.org>
Fri, 14 Oct 2022 06:38:53 +0000 (08:38 +0200)
commit1b11561cc1de7596f6f7cb750743af94b9d168f7
treea16c63b0dfd1d35a520337f5342f8cf59c0ffd1e
parent34df7b9dfdeee442cf43060b6499bedc5f619f7f
Standardize format for printing PIDs

Most code prints PIDs as %d, but some code tried to print them as long
or unsigned long.  While this is in theory allowed, the fact that PIDs
fit into int is deeply baked into all PostgreSQL code, so these random
deviations don't accomplish anything except confusion.

Note that we still need casts from pid_t to int, because on 64-bit
MinGW, pid_t is long long int.  (But per above, actually supporting
that range in PostgreSQL code would be major surgery and probably not
useful.)

Discussion: https://www.postgresql.org/message-id/289c2e45-c7d9-5ce4-7eff-a9e2a33e1580@enterprisedb.com
contrib/pg_prewarm/autoprewarm.c
src/backend/postmaster/bgworker.c
src/backend/storage/ipc/procsignal.c