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

robertmhaas · robertmhaas · commit 99cfd5e136e2 · 2015-06-04T17:57:39.000-04:00
Joel Jacobson
diff --git 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 <literal>pg_stat_activity</>, use this query:
 <programlisting>
-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;
 </programlisting>
