summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorEddy Comyn-Platt <53045993+EddyCMWF@users.noreply.github.com>2023-02-27 15:45:32 +0000
committerGitHub <noreply@github.com>2023-02-27 15:45:32 +0000
commit503efc0dc7cb261d659cf0d61d979eba5184b330 (patch)
tree339c6f2f2485d92509c9cfdd8ac5ece331e1414b
parent83a1a8a64792008e6fe83e5156369b3ebd26fb97 (diff)
github actions rebase (#64)
-rw-r--r--cdsapi/api.py6
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