From d060a34bfbdfae7ea41414b7111f1f12e15a48fe Mon Sep 17 00:00:00 2001
From: Rafa Faura <rafael.fcucalon@gmail.com>
Date: Fri, 13 Sep 2024 18:19:57 +0200
Subject: [PATCH] Minor: Code optimizations (Timeout catches ConnectTimeout &
 ReadTimeout)

---
 humble.py           | 2 --
 l10n/details.txt    | 6 ------
 l10n/details_es.txt | 6 ------
 3 files changed, 14 deletions(-)

diff --git a/humble.py b/humble.py
index 36c5758c..52e32d51 100644
--- a/humble.py
+++ b/humble.py
@@ -1446,12 +1446,10 @@ def custom_help_formatter(prog):
 exception_d = {
     requests.exceptions.ChunkedEncodingError: '[e_chunk]',
     requests.exceptions.ConnectionError: '[e_connection]',
-    requests.exceptions.ConnectTimeout: '[e_ctimeout]',
     requests.exceptions.ContentDecodingError: '[e_decoding]',
     requests.exceptions.InvalidSchema: '[e_ischema]',
     requests.exceptions.InvalidURL: '[e_url]',
     requests.exceptions.MissingSchema: '[e_mschema]',
-    requests.exceptions.ReadTimeout: '[e_rtimeout]',
     requests.exceptions.SSLError: None,
     requests.exceptions.Timeout: '[e_timeout]',
     requests.exceptions.TooManyRedirects: '[e_redirect]',
diff --git a/l10n/details.txt b/l10n/details.txt
index 69bffd37..14f55f37 100644
--- a/l10n/details.txt
+++ b/l10n/details.txt
@@ -719,15 +719,9 @@ HTTP Response Headers
 [e_connection]
  Error: The request timed out while trying to connect to the remote server. Check URL and try again.
 
-[e_ctimeout]
- Error: The request timed out. Wait a while and try again.
-
 [e_redirect]
  Error: Too many redirects.
 
-[e_rtimeout]
- Error: The server did not send any data in the allotted amount of time.
-
 [e_timeout]
  Error: The request timed out.
 
diff --git a/l10n/details_es.txt b/l10n/details_es.txt
index 8f7c16c0..d6d69d00 100644
--- a/l10n/details_es.txt
+++ b/l10n/details_es.txt
@@ -719,15 +719,9 @@ Cabeceras de respuesta HTTP
 [e_connection]
  Error: La solicitud ha expirado al intentar conectarse al servidor; revisa la URL y prueba de nuevo.
 
-[e_ctimeout]
- Error: La solicitud ha caducado; espera unos minutos y prueba de nuevo.
-
 [e_redirect]
  Error: Demasiadas redirecciones.
 
-[e_rtimeout]
- Error: El servidor no ha enviado ningún dato en el tiempo previsto.
-
 [e_timeout]
  Error: Se ha superado el tiempo de espera; espera unos minutos y prueba de nuevo.