Mute getaddrinfo errors

Valgorithms · Feb 9, 2024 · 9c8566d · 9c8566d
1 parent 60edec2
commit 9c8566d
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/bot.php b/bot.php
@@ -354,7 +354,8 @@
 
         // Connectivity issues
         && ! str_ends_with($errstr, 'No route to host') // Usually happens if the verifier server is down
-        //&& ! str_ends_with($errstr, 'Temporary failure in name resolution')
+        && ! str_ends_with($errstr, 'No address associated with hostname') // Either the DNS or the VPS is acting up
+        && ! str_ends_with($errstr, 'Temporary failure in name resolution') // Either the DNS or the VPS is acting up
         //&& ! str_ends_with($errstr, 'HTTP request failed!')
 
         //&& ! str_contains($errstr, 'Undefined array key')