diff --git a/web/pgadmin/tools/import_export_servers/__init__.py b/web/pgadmin/tools/import_export_servers/__init__.py index 233476eab..d5927c7a4 100644 --- a/web/pgadmin/tools/import_export_servers/__init__.py +++ b/web/pgadmin/tools/import_export_servers/__init__.py @@ -190,6 +190,9 @@ def save(): status = False errmsg = None if data['type'] == 'export': + file_ext = os.path.splitext(data['filename'])[-1].lower() + if file_ext != '.json': + data['filename'] = data['filename'] + '.json' status, errmsg = \ dump_database_servers(data['filename'], data['selected_sever_ids']) elif data['type'] == 'import':