mirror of
https://github.com/pgadmin-org/pgadmin4.git
synced 2025-02-25 18:55:31 -06:00
If the binary path contains '' then show as it is on GUI if the path contains valid utilities.
This commit is contained in:
parent
71526ac79f
commit
c2ed799113
@ -302,6 +302,8 @@ def set_binary_path(binary_path, bin_paths, server_type,
|
|||||||
This function is used to iterate through the utilities and set the
|
This function is used to iterate through the utilities and set the
|
||||||
default binary path.
|
default binary path.
|
||||||
"""
|
"""
|
||||||
|
path_with_dir = binary_path if "$DIR" in binary_path else None
|
||||||
|
|
||||||
# Check if "$DIR" present in binary path
|
# Check if "$DIR" present in binary path
|
||||||
binary_path = replace_binary_path(binary_path)
|
binary_path = replace_binary_path(binary_path)
|
||||||
|
|
||||||
@ -332,7 +334,8 @@ def set_binary_path(binary_path, bin_paths, server_type,
|
|||||||
for path in paths_array:
|
for path in paths_array:
|
||||||
if path['version'].find(version_number) == 0 and \
|
if path['version'].find(version_number) == 0 and \
|
||||||
path['binaryPath'] is None:
|
path['binaryPath'] is None:
|
||||||
path['binaryPath'] = binary_path
|
path['binaryPath'] = path_with_dir \
|
||||||
|
if path_with_dir is not None else binary_path
|
||||||
if set_as_default:
|
if set_as_default:
|
||||||
path['isDefault'] = True
|
path['isDefault'] = True
|
||||||
break
|
break
|
||||||
|
Loading…
Reference in New Issue
Block a user