viff

changeset 1004:26d6cdcbd677

Reference VIFF_SEED in documentation.
author Martin Geisler <mg@daimi.au.dk>
date Fri, 24 Oct 2008 13:06:03 +0200
parents 4c341ec05420
children 8b46d76bdc75
files doc/util.txt
diffstat 1 files changed, 4 insertions(+), 4 deletions(-) [+]
line diff
     1.1 --- a/doc/util.txt	Fri Oct 24 13:00:29 2008 +0200
     1.2 +++ b/doc/util.txt	Fri Oct 24 13:06:03 2008 +0200
     1.3 @@ -5,7 +5,7 @@
     1.4  .. automodule:: viff.util
     1.5     :members:
     1.6  
     1.7 -   .. envvar:: SEED
     1.8 +   .. envvar:: VIFF_SEED
     1.9  
    1.10        The :data:`rand` random generator is seeded using this
    1.11        environment variable, if it is defined.
    1.12 @@ -16,10 +16,10 @@
    1.13        randomness needed.
    1.14  
    1.15        The generator is by default initialized with a random seed,
    1.16 -      unless the environment variable :envvar:`SEED` is set to a
    1.17 +      unless the environment variable :envvar:`VIFF_SEED` is set to a
    1.18        value, in which case that value is used instead. If
    1.19 -      :envvar:`SEED` is defined, but empty, then no seed is used and a
    1.20 -      protocol run cannot be reproduced exactly.
    1.21 +      :envvar:`VIFF_SEED` is defined, but empty, then no seed is used
    1.22 +      and a protocol run cannot be reproduced exactly.
    1.23  
    1.24     .. envvar:: VIFF_NO_WRAP
    1.25