diff options
| -rw-r--r-- | doc/src/sgml/func.sgml | 3 | ||||
| -rw-r--r-- | doc/src/sgml/ref/set.sgml | 3 |
2 files changed, 4 insertions, 2 deletions
diff --git a/doc/src/sgml/func.sgml b/doc/src/sgml/func.sgml index 6ce54c1ee1f..ac8b7e519a0 100644 --- a/doc/src/sgml/func.sgml +++ b/doc/src/sgml/func.sgml @@ -1840,6 +1840,9 @@ repeat('Pg', 4) <returnvalue>PgPgPgPg</returnvalue> subsequent <function>random()</function> calls in the current session can be repeated by re-issuing <function>setseed()</function> with the same argument. + Without any prior <function>setseed()</function> call in the same + session, the first <function>random()</function> call obtains a seed + from a platform-dependent source of random bits. </para> <para> diff --git a/doc/src/sgml/ref/set.sgml b/doc/src/sgml/ref/set.sgml index 339ee9eec94..c4aab56a2d3 100644 --- a/doc/src/sgml/ref/set.sgml +++ b/doc/src/sgml/ref/set.sgml @@ -175,8 +175,7 @@ SET [ SESSION | LOCAL ] TIME ZONE { <replaceable class="parameter">timezone</rep <para> Sets the internal seed for the random number generator (the function <function>random</function>). Allowed values are - floating-point numbers between -1 and 1, which are then - multiplied by 2<superscript>31</superscript>-1. + floating-point numbers between -1 and 1 inclusive. </para> <para> |