pgadmin-org
/
pgadmin4
mirror of https://github.com/pgadmin-org/pgadmin4.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Add minor change missed in previous commit. Fixes #4329

pull/24/head
Aditya Toshniwal 2019-06-14 12:46:48 +01:00 committed by Dave Page
parent 3b69f92d70
commit 2894c6cd14
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
web/pgadmin/tools/debugger/__init__.py
View File

@ -568,7 +568,7 @@ def direct_new(trans_id):
user_agent = UserAgent(request.headers.get('User-Agent'))
function_arguments = '('
if 'functionData' in session:
if de_inst.function_data is not None:
if 'args_name' in de_inst.function_data and \
de_inst.function_data['args_name'] is not None and \
de_inst.function_data['args_name'] != '':