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

branch
eric7
changeset 10170
6cf1ee737d8f
parent 9870
0399d3607829
child 10373
093dcebe5ecb
equal deleted inserted replaced
10169:0f70a4ef4592 10170:6cf1ee737d8f
216 """ or 'user/repository' string.</p>""" 216 """ or 'user/repository' string.</p>"""
217 ), 217 ),
218 ) 218 )
219 return 219 return
220 220
221 result = requests.head("https://github.com/" + bundle) 221 result = requests.head("https://github.com/" + bundle, timeout=30)
222 if result.status_code == requests.codes.NOT_FOUND: 222 if result.status_code == requests.codes.NOT_FOUND:
223 EricMessageBox.critical( 223 EricMessageBox.critical(
224 None, 224 None,
225 self.tr("Add Bundle"), 225 self.tr("Add Bundle"),
226 self.tr( 226 self.tr(

eric ide

mercurial