99 *
1010 *
1111 * IDENTIFICATION
12- * $Header: /cvsroot/pgsql/src/backend/commands/variable.c,v 1.46 2001/03/22 03:59:25 momjian Exp $
12+ * $Header: /cvsroot/pgsql/src/backend/commands/variable.c,v 1.47 2001/03/29 19: 03:57 petere Exp $
1313 *
1414 *-------------------------------------------------------------------------
1515 */
@@ -719,7 +719,7 @@ SetPGVariable(const char *name, const char *value)
719719parse_client_encoding (mvalue );
720720else if (strcasecmp (name ,"server_encoding" )== 0 )
721721parse_server_encoding (mvalue );
722- else if (strcasecmp (name ,"random_seed " )== 0 )
722+ else if (strcasecmp (name ,"seed " )== 0 )
723723parse_random_seed (mvalue );
724724else
725725SetConfigOption (name ,value ,superuser () ?PGC_SUSET :PGC_USERSET );
@@ -744,7 +744,7 @@ GetPGVariable(const char *name)
744744show_client_encoding ();
745745else if (strcasecmp (name ,"server_encoding" )== 0 )
746746show_server_encoding ();
747- else if (strcasecmp (name ,"random_seed " )== 0 )
747+ else if (strcasecmp (name ,"seed " )== 0 )
748748show_random_seed ();
749749else
750750{
@@ -769,7 +769,7 @@ ResetPGVariable(const char *name)
769769reset_client_encoding ();
770770else if (strcasecmp (name ,"server_encoding" )== 0 )
771771reset_server_encoding ();
772- else if (strcasecmp (name ,"random_seed " )== 0 )
772+ else if (strcasecmp (name ,"seed " )== 0 )
773773reset_random_seed ();
774774else
775775SetConfigOption (name ,NULL ,superuser () ?PGC_SUSET :PGC_USERSET );