Thanks, patch applied. On Friday, December 23, 2016, Neel Patel <neel.pa...@enterprisedb.com> wrote:
> Hi, > > Please find attached patch file with the fix of RM #2026. > > *Issue :- * > When debugger plugin is configured but doesn't have extension loaded in > database then user allowed to launch the debugger. > > *Solution:-* > Retrieve debugger plugin loaded information from database and return > appropriate message to user before staring debugger. > > Do review it and let us know for comments. > > Thanks, > Neel Patel > -- Dave Page Blog: http://pgsnake.blogspot.com Twitter: @pgsnake EnterpriseDB UK: http://www.enterprisedb.com The Enterprise PostgreSQL Company