Rename 'random_seed' back to 'seed'.

diff --git a/src/backend/commands/variable.c b/src/backend/commands/variable.c
index cc5f64f41a01c0a05ffaf7bce23b274111028950..420913a0e4e15360422b08cb6c069d413d366c6c 100644 (file)
--- 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);