Rename cdb_random_seeds as 'internal'

This commit is contained in:
Javier Goizueta
2016-02-18 16:10:34 +01:00
parent f22b8334e0
commit 0742e3f72a
3 changed files with 10 additions and 9 deletions

View File

@@ -1,7 +1,8 @@
-- Internal function.
-- Set the seeds of the RNGs (Random Number Generators)
-- used internally.
CREATE OR REPLACE FUNCTION
cdb_random_seeds (seed_value INTEGER) RETURNS VOID
_cdb_random_seeds (seed_value INTEGER) RETURNS VOID
AS $$
from crankshaft import random_seeds
random_seeds.set_random_seeds(seed_value)