Move backend_pid to functions/misc.

diff --git a/doc/src/sgml/func.sgml b/doc/src/sgml/func.sgml
index b32bcbaa82ef58de27fa081fcd7f5cc2cd26dd52..e36dde81b7e062a068fa153612669878f09f57f9 100644 (file)
--- a/doc/src/sgml/func.sgml
+++ b/doc/src/sgml/func.sgml
@@ -1,5 +1,5 @@
 
 
@@ -4353,6 +4353,11 @@ SELECT NULLIF(value, '(none)') ...
        name[]
        names of schemas in search path optionally including implicit schemas
       
+     
+      backend_pid()
+      integer
+      process ID of the session backend
+     
      
     
    

diff --git a/doc/src/sgml/monitoring.sgml b/doc/src/sgml/monitoring.sgml
index 4c07f37294158ce2557c7aa5e1d530a799713c21..c3b7eb440249388c294da1f3499e4a06580e9ab5 100644 (file)
--- a/doc/src/sgml/monitoring.sgml
+++ b/doc/src/sgml/monitoring.sgml
@@ -1,5 +1,5 @@
 
 
 
@@ -480,14 +480,6 @@ postgres: user database host 
       
      
 
-     
-      backend_pid()
-      integer
-      
-       Process ID of current backend
-      
-     
-
      
       pg_stat_get_backend_pid(integer)
       integer