From fd3a19afd2e8696cac805be1b5acbfd3e6e47708 Mon Sep 17 00:00:00 2001
From: Wolfgang Maier <maierw@informatik.uni-freiburg.de>
Date: Fri, 9 Feb 2024 09:19:33 +0100
Subject: [PATCH] Fix linting

---
 tools/data_source/data_source.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/data_source/data_source.py b/tools/data_source/data_source.py
index fba58ba1cf9..55bf461dbd8 100644
--- a/tools/data_source/data_source.py
+++ b/tools/data_source/data_source.py
@@ -58,7 +58,7 @@ def __main__():
                 page = urlopen(
                     cur_URL,
                     urlencode(params["param_dict"]["incoming_request_params"]).encode("utf-8"),
-                    timeout=DEFAULT_SOCKET_TIMEOUT
+                    timeout=DEFAULT_SOCKET_TIMEOUT,
                 )
         except Exception as e:
             sys.exit("The remote data source application may be off line, please try again later. Error: %s" % str(e))