projects / postgresql.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7570df0) | patch
Doc: improve documentation of pg_signal_backend default role.
authorTom Lane
Tue, 27 Aug 2019 22:03:09 +0000 (18:03 -0400)
committerTom Lane
Tue, 27 Aug 2019 22:03:09 +0000 (18:03 -0400)
commit11f6271b87fab08eea23a31ceaa6b14cdc2e8a6c
treeaad47d4e4a4edeecb812c02a2d7438d0399c8626tree
parent7570df0f3b6d873cd060b3271b5f7b90cbcfb66ccommit | diff
Doc: improve documentation of pg_signal_backend default role.

Give it an explanatory para like the other default roles have.
Don't imply that it can send any signal whatever.

In passing, reorder the table entries and explanatory paras
for the default roles into some semblance of consistency.

Ian Barwick, tweaked a bit by me.

Discussion: https://postgr.es/m/89907e32-76f3-7282-a89c-ea19c722fe5d@2ndquadrant.com
doc/src/sgml/user-manag.sgml diff | blob | blame | history
This is the main PostgreSQL git repository.