diff options
| author | Peter Eisentraut | 2016-09-20 16:00:00 +0000 |
|---|---|---|
| committer | Peter Eisentraut | 2016-09-20 16:00:00 +0000 |
| commit | 8c48a89da246f4b536c1b38b47cfe6e174c9a9fc (patch) | |
| tree | 1acf3c258af5ab2b9e26964145e2aa9f2de0b845 | |
| parent | ed29d2de25d7da3b2b4c050d4cb6139eb4326ecb (diff) | |
doc: Correct ALTER USER MAPPING example
The existing example threw an error.
From: gabrielle <[email protected]>
| -rw-r--r-- | doc/src/sgml/ref/alter_user_mapping.sgml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/src/sgml/ref/alter_user_mapping.sgml b/doc/src/sgml/ref/alter_user_mapping.sgml index 3245f83e08d..59b8801f04e 100644 --- a/doc/src/sgml/ref/alter_user_mapping.sgml +++ b/doc/src/sgml/ref/alter_user_mapping.sgml @@ -89,9 +89,9 @@ ALTER USER MAPPING FOR { <replaceable class="parameter">user_name</replaceable> <title>Examples</title> <para> - Change the password for user mapping <literal>bob</>, server<literal> foo</>: + Change the password for user mapping <literal>bob</>, server <literal>foo</>: <programlisting> -ALTER USER MAPPING FOR bob SERVER foo OPTIONS (user 'bob', password 'public'); +ALTER USER MAPPING FOR bob SERVER foo OPTIONS (SET password 'public'); </programlisting></para> </refsect1> |