Skip to content

Commit

Permalink
Remove old docu, Make irods_home and irods_default_resource manadatory
Browse files Browse the repository at this point in the history
  • Loading branch information
chStaiger committed May 28, 2024
1 parent 331c8c8 commit 729ed36
Show file tree
Hide file tree
Showing 2 changed files with 4 additions and 84 deletions.
84 changes: 0 additions & 84 deletions iBridgesGui-HowTo.md

This file was deleted.

4 changes: 4 additions & 0 deletions ibridgesgui/config.py
Original file line number Diff line number Diff line change
Expand Up @@ -178,6 +178,10 @@ def check_irods_config(ienv: Union[Path, dict]) -> str:
return '"irods_host" is missing in environment.'
if "irods_port" not in env:
return '"irods_port" is missing in environment.'
if "irods_home" not in env:
return 'Please set an "irods_home".'
if "irods_default_resource" not in env:
return 'Please set an "irods_default_resource".'
if not isinstance(env["irods_port"], int):
return '"irods_port" needs to be an integer, remove quotes.'
if not Session.network_check(env["irods_host"], env["irods_port"]):
Expand Down

0 comments on commit 729ed36

Please sign in to comment.