2016-02-18 23:10:34 +08:00
|
|
|
-- Internal function.
|
2016-02-18 18:28:26 +08:00
|
|
|
-- Set the seeds of the RNGs (Random Number Generators)
|
|
|
|
-- used internally.
|
|
|
|
CREATE OR REPLACE FUNCTION
|
2016-02-18 23:10:34 +08:00
|
|
|
_cdb_random_seeds (seed_value INTEGER) RETURNS VOID
|
2016-02-18 18:28:26 +08:00
|
|
|
AS $$
|
|
|
|
from crankshaft import random_seeds
|
|
|
|
random_seeds.set_random_seeds(seed_value)
|
|
|
|
$$ LANGUAGE plpythonu;
|