From e692b0130b11c90feda2f0e82810670125c4ea60 Mon Sep 17 00:00:00 2001 From: Peter Eisentraut Date: Thu, 29 Mar 2001 19:03:57 +0000 Subject: [PATCH] Rename 'random_seed' back to 'seed'. --- src/backend/commands/variable.c | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/backend/commands/variable.c b/src/backend/commands/variable.c index cc5f64f41a..420913a0e4 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);