Bruce Momjian wrote:
Tom Lane wrote:
Traditionally PIDs fit in 16 bits, let alone 32.  I'd recommend that we
standardize on casting pid_t to int for printing purposes;



Done.

Uh, what? Your patch removes the casting of pid_t to int -- Tom was suggesting that we consistently cast pid_t to int. (Also your patch removes casting from uid_t to int in the case of geteuid() -- why?)


For instance:

http://developer.postgresql.org/cvsweb.cgi/pgsql-server/src/bin/psql/command.c.diff?r1=1.126&r2=1.127

-Neil


---------------------------(end of broadcast)--------------------------- TIP 2: you can get off all lists at once with the unregister command (send "unregister YourEmailAddressHere" to [EMAIL PROTECTED])

Reply via email to