diff options
author | Eddy Comyn-Platt <53045993+EddyCMWF@users.noreply.github.com> | 2023-02-27 15:45:32 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-02-27 15:45:32 +0000 |
commit | 503efc0dc7cb261d659cf0d61d979eba5184b330 (patch) | |
tree | 339c6f2f2485d92509c9cfdd8ac5ece331e1414b | |
parent | 83a1a8a64792008e6fe83e5156369b3ebd26fb97 (diff) |
github actions rebase (#64)
-rw-r--r-- | cdsapi/api.py | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/cdsapi/api.py b/cdsapi/api.py index 79c2ef3..17f8e51 100644 --- a/cdsapi/api.py +++ b/cdsapi/api.py @@ -295,11 +295,15 @@ class Client(object): url = config.get("url") if verify is None: - verify = int(config.get("verify", 1)) + verify = bool(int(config.get("verify", 1))) if url is None or key is None or key is None: raise Exception("Missing/incomplete configuration file: %s" % (dotrc)) + # If verify is still None, then we set to default value of True + if verify is None: + verify = True + self.url = url self.key = key |