diff options
author | Peter Eisentraut <peter_e@gmx.net> | 2001-03-29 19:03:57 +0000 |
---|---|---|
committer | Peter Eisentraut <peter_e@gmx.net> | 2001-03-29 19:03:57 +0000 |
commit | e692b0130b11c90feda2f0e82810670125c4ea60 (patch) | |
tree | ee38cdbd1d77004dda94723102300a181ab031ec /src/backend/commands/variable.c | |
parent | fdf1319d225219bce53c33d504b57f617943dbe7 (diff) | |
download | postgresql-e692b0130b11c90feda2f0e82810670125c4ea60.tar.gz postgresql-e692b0130b11c90feda2f0e82810670125c4ea60.zip |
Rename 'random_seed' back to 'seed'.
Diffstat (limited to 'src/backend/commands/variable.c')
-rw-r--r-- | src/backend/commands/variable.c | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/backend/commands/variable.c b/src/backend/commands/variable.c index cc5f64f41a0..420913a0e4e 100644 --- a/src/backend/commands/variable.c +++ b/src/backend/commands/variable.c @@ -9,7 +9,7 @@ * * * IDENTIFICATION - * $Header: /cvsroot/pgsql/src/backend/commands/variable.c,v 1.46 2001/03/22 03:59:25 momjian Exp $ + * $Header: /cvsroot/pgsql/src/backend/commands/variable.c,v 1.47 2001/03/29 19:03:57 petere Exp $ * *------------------------------------------------------------------------- */ @@ -719,7 +719,7 @@ SetPGVariable(const char *name, const char *value) parse_client_encoding(mvalue); else if (strcasecmp(name, "server_encoding") == 0) parse_server_encoding(mvalue); - else if (strcasecmp(name, "random_seed") == 0) + else if (strcasecmp(name, "seed") == 0) parse_random_seed(mvalue); else SetConfigOption(name, value, superuser() ? PGC_SUSET : PGC_USERSET); @@ -744,7 +744,7 @@ GetPGVariable(const char *name) show_client_encoding(); else if (strcasecmp(name, "server_encoding") == 0) show_server_encoding(); - else if (strcasecmp(name, "random_seed") == 0) + else if (strcasecmp(name, "seed") == 0) show_random_seed(); else { @@ -769,7 +769,7 @@ ResetPGVariable(const char *name) reset_client_encoding(); else if (strcasecmp(name, "server_encoding") == 0) reset_server_encoding(); - else if (strcasecmp(name, "random_seed") == 0) + else if (strcasecmp(name, "seed") == 0) reset_random_seed(); else SetConfigOption(name, NULL, superuser() ? PGC_SUSET : PGC_USERSET); |