Peter Eisentraut wrote:

Andrew Dunstan wrote:


I will do docs. We could sensibly get rid of log_pid and
log_timestamp with my latest patch. I would also suggest getting rid
of log_source_port, since there really isn't any reason *not* to log
the source port.



There is the very definite possibility that people don't care.



The only thing I can see where it actually makes a difference is in the ps display (and it is currently a bit broken anyway, as it uses "host:port" there, which won't work nicely with IP6 addresses). Connection and disconnection logging currently always log the source port, regardless of the setting.


If you think the ability to have it in or out of the ps display is important enough, we can certainly leave it in - either way I will fix it.

cheers

andrew


---------------------------(end of broadcast)--------------------------- TIP 7: don't forget to increase your free space map settings

Reply via email to