src/eric7/MicroPython/Devices/CircuitPythonUpdater/CircuitPythonUpdaterInterface.py

branch
eric7
changeset 10170
6cf1ee737d8f
parent 9870
0399d3607829
child 10373
093dcebe5ecb
--- a/src/eric7/MicroPython/Devices/CircuitPythonUpdater/CircuitPythonUpdaterInterface.py	Tue Aug 29 16:55:18 2023 +0200
+++ b/src/eric7/MicroPython/Devices/CircuitPythonUpdater/CircuitPythonUpdaterInterface.py	Tue Aug 29 17:48:25 2023 +0200
@@ -218,7 +218,7 @@
                 )
                 return
 
-            result = requests.head("https://github.com/" + bundle)
+            result = requests.head("https://github.com/" + bundle, timeout=30)
             if result.status_code == requests.codes.NOT_FOUND:
                 EricMessageBox.critical(
                     None,

eric ide

mercurial