diff options
| author | Peter Eisentraut | 2016-09-20 16:00:00 +0000 |
|---|---|---|
| committer | Peter Eisentraut | 2016-09-20 16:00:00 +0000 |
| commit | d38649a103590f2f5de62634d573359f03298a23 (patch) | |
| tree | 9f3618156b84e0a7ed88bdfd0144563d9f265b22 /doc/src/sgml | |
| parent | a4a3fac169e06b9297fe5b6ea947d47d2faf0145 (diff) | |
doc: Correct ALTER USER MAPPING example
The existing example threw an error.
From: gabrielle <gorthx@gmail.com>
Diffstat (limited to 'doc/src/sgml')
| -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> |