BUG #7506: Windows 64 bit PGAdmin 1.14.3 plpgsql default parameter value not appearing - Mailing list pgsql-bugs

From crispond@gmail.com
Subject BUG #7506: Windows 64 bit PGAdmin 1.14.3 plpgsql default parameter value not appearing
Date
Msg-id E1T54fs-0003VH-Mi@wrigleys.postgresql.org
Whole thread Raw
Responses Re: BUG #7506: Windows 64 bit PGAdmin 1.14.3 plpgsql default parameter value not appearing  (Guillaume Lelarge <guillaume@lelarge.info>)
List pgsql-bugs
The following bug has been logged on the website:

Bug reference:      7506
Logged by:          Cris Pond
Email address:      crispond@gmail.com
PostgreSQL version: 9.1.5
Operating system:   Windows 64 bit
Description:        =


Sorry, I'm having trouble posting a bug report to the pgAdmin site.  Please
forward this on:


It looks like this bug has come back in pgAdmin 1.14.3 for Windows 64bit:

http://code.pgadmin.org/trac/ticket/79

If you do the following:

------
CREATE OR REPLACE FUNCTION demo(level integer DEFAULT 0) RETURNS
integer language 'plpgsql' AS $$
BEGIN
        return (level);
END; $$;
select demo(); --<---No error
------

The default parameter functions correctly.  The code showing in
pgadmin, however, is missing the default:

-----
drop function if exists demo(int);
--Copied from pgAdmin
CREATE OR REPLACE FUNCTION demo(level integer)
  RETURNS integer AS
$BODY$
BEGIN
        return (level);
END; $BODY$
  LANGUAGE plpgsql VOLATILE
  COST 100;
select demo(); --<---Error
------

I'm pretty sure pg_proc.proargdefaults contains the correct
information and that pgadmin is just not interpreting it.  I tried
executing the code on postgresql 8.4.3 and 9.1.5, and the field looked
basically the same, but pgAdmin 1.10 is displaying correctly and
pgAdmin 1.14.3 is not.

Thank you for your great products.

-cris

pgsql-bugs by date:

Previous
From: ovadyaj@gmail.com
Date:
Subject: BUG #7505: Backslash escaping not necessary
Next
From: Guillaume Lelarge
Date:
Subject: Re: BUG #7506: Windows 64 bit PGAdmin 1.14.3 plpgsql default parameter value not appearing