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 36c3e53e42d..21f8ab73e28 100644 --- a/doc/src/sgml/func.sgml +++ b/doc/src/sgml/func.sgml @@ -1841,6 +1841,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 ae508d026e2..5878c61f9b7 100644 --- a/doc/src/sgml/ref/set.sgml +++ b/doc/src/sgml/ref/set.sgml @@ -177,8 +177,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> |