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( |