Re: Bug #829: 7.3 crashes when trying to set variable to default

I just tried:

test=> alter user postgres set search_path to 'public';
ALTER USER
test=> alter user postgres set search_path to default;
ALTER USER

and it worked fine here. This is with current CVS. Can anyone else
reproduce the problem?

---------------------------------------------------------------------------

pgsql-bugs(at)postgresql(dot)org wrote:
> Dustin Sallings (dustin+pgsqlbugs(at)spy(dot)net) reports a bug with a severity of 2
> The lower the number the more severe it is.
>
> Short Description
> 7.3 crashes when trying to set variable to default
>
> Long Description
> Logged in as dustin (superuser), I did the following:
>
> alter user nobody set search_path to [something]
>
> and then
>
> alter user nobody set search_path to default
>
> (having already done this for my own username).
>
> The database server immediately crashes with the following message:
>
> LOG: server process (pid 24975) was terminated by signal 10
> [...]
> LOG: all server processes terminated; reinitializing shared memory and semaphor
> es
> IpcMemoryCreate: shmget(key=5432001, size=2449408, 03600) failed: Cannot allocat
> e memory
>
> This error usually means that PostgreSQL's request for a shared
> memory segment exceeded available memory or swap space.
> To reduce the request size (currently 2449408 bytes), reduce
> PostgreSQL's shared_buffers parameter (currently 128) and/or
> its max_connections parameter (currently 64).
>
> The PostgreSQL Administrator's Guide contains more information about
> shared memory configuration.
>
>
>
> My host system is OS X 10.2.2.
>
> Sample Code
>
>
> No file was uploaded with this report
>
>
> ---------------------------(end of broadcast)---------------------------
> TIP 1: subscribe and unsubscribe commands go to majordomo(at)postgresql(dot)org
>

--
Bruce Momjian | http://candle.pha.pa.us
pgman(at)candle(dot)pha(dot)pa(dot)us | (610) 359-1001
+ If your life is a hard drive, | 13 Roberts Road
+ Christ can be your backup. | Newtown Square, Pennsylvania 19073