IntenseWebs/pgadmin4
3
0
Fork 0
mirror of https://github.com/pgadmin-org/pgadmin4.git synced 2025-01-06 22:23:11 -06:00
Code Issues Packages Projects Releases Wiki Activity

Fixed an issue where ERD Tool can't load the saved pgerd file from Shared Storage. #6558

Browse Source
This commit is contained in:
San Lin Naing 2023-07-13 14:36:46 +09:00 committed by GitHub
parent 715fa47eb6
commit 8dd8d1d03a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 10 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
web/pgadmin/tools/sqleditor/__init__.py
View File

@ -1864,9 +1864,18 @@ def load_file():
file_path = unquote(file_data['file_name'])
# get the current storage from request if available
# or get it from last_storage preference.
storage_folder = ''
if 'storage' in file_data:
storage_folder = file_data['storage']
else:
storage_folder = Preferences.module('file_manager').preference(
'last_storage').get()
# retrieve storage directory path
storage_manager_path = get_storage_directory(
shared_storage=file_data['storage'] if 'storage' in file_data else '')
shared_storage=storage_folder)
try:
Filemanager.check_access_permission(storage_manager_path, file_path)