Update main.py

main.py

@@ -6,6 +6,18 @@ from datetime import datetime
 from dotenv import load_dotenv
 import threading
 from http.server import BaseHTTPRequestHandler, HTTPServer
+import socket
+
+# --- Hugging Face DNS Workaround ---
+# Hugging Face Spaces often fail to resolve 'api.telegram.org' via DNS. 
+# We monkey-patch socket.getaddrinfo to force it to use Telegram's known IP.
+_old_getaddrinfo = socket.getaddrinfo
+def _new_getaddrinfo(host, port, family=0, type=0, proto=0, flags=0):
+    if host.lower() == 'api.telegram.org':
+        return [(socket.AF_INET, socket.SOCK_STREAM, socket.IPPROTO_TCP, '', ('149.154.167.220', port))]
+    return _old_getaddrinfo(host, port, family, type, proto, flags)
+socket.getaddrinfo = _new_getaddrinfo
+# -----------------------------------
 
 # Load optional .env if present in same directory
 load_dotenv()