doc: Session identifiers truncate, not round, the backend start time.

Joel Jacobson

diff --git a/doc/src/sgml/config.sgml b/doc/src/sgml/config.sgml
index 5549b7dce622aa8fa53d81e3e774da622b4fc031..1da7dfbc5cd3b7d18a117f804e77a4ac28a893ec 100644 (file)
--- a/doc/src/sgml/config.sgml
+++ b/doc/src/sgml/config.sgml
@@ -4707,7 +4707,7 @@ local0.*    /var/log/postgresql
          of printing those items.  For example, to generate the session
          identifier from pg_stat_activity, use this query:
 
-SELECT to_hex(EXTRACT(EPOCH FROM backend_start)::integer) || '.' ||
+SELECT to_hex(trunc(EXTRACT(EPOCH FROM backend_start))::integer) || '.' ||
        to_hex(pid)
 FROM pg_stat_activity;