Mention pg_backend_pid() in the system information section in addition

to the monitoring section.

Jim Nasby

diff --git a/doc/src/sgml/func.sgml b/doc/src/sgml/func.sgml
index 097e0560ce22e997f4e9686599df739f4d2d9048..c15de7b1c9ec64e5d4fd5d932f9dd060046c467b 100644 (file)
--- a/doc/src/sgml/func.sgml
+++ b/doc/src/sgml/func.sgml
@@ -1,4 +1,4 @@
-
+
 
  
   Functions and Operators
@@ -10746,6 +10746,15 @@ select current_date + s.a as dates from generate_series(0,14,7) as s(a);
        text of the currently executing query (might contain more than one statement)
         
 
+      
+       
+       pg_backend_pid()
+       int
+       
+        Process ID of the server process attached to the current session
+       
+      
+
       
        inet_client_addr()
        inet

diff --git a/doc/src/sgml/monitoring.sgml b/doc/src/sgml/monitoring.sgml
index a1debcced035754478fad2e602c335c858e8e73b..f634d818420746c8f6b782b38e18e7f4e20c5bd4 100644 (file)
--- a/doc/src/sgml/monitoring.sgml
+++ b/doc/src/sgml/monitoring.sgml
@@ -1,4 +1,4 @@
-
+
 
 
  Monitoring Database Activity
@@ -664,6 +664,7 @@ postgres: user database host 
      
 
      
+       
       pg_backend_pid()
       integer