JavaIsJavaScript
diff --git a/‎src/main/java/de/rwth/idsg/steve/utils/InternetChecker.java‎
Lines changed: 9 additions & 1 deletion b/‎src/main/java/de/rwth/idsg/steve/utils/InternetChecker.java‎
Lines changed: 9 additions & 1 deletion
@@ -1,5 +1,7 @@
 package de.rwth.idsg.steve.utils;
 
+import de.rwth.idsg.steve.SteveConfiguration;
+
 import java.net.HttpURLConnection;
 import java.net.MalformedURLException;
 import java.net.URL;
@@ -18,13 +20,18 @@ private InternetChecker() { }
     private static final int CONNECT_TIMEOUT = 5_000;
 
     private static final List<String> HOST_LIST = Arrays.asList(
+            "https://treibhaus.informatik.rwth-aachen.de/heartbeat/",
             "https://github.com",
             "https://www.wikipedia.org",
             "https://www.google.com",
             "https://www.apple.com",
             "https://www.facebook.com"
     );
 
+    static {
+        System.setProperty("http.agent", "SteVe/" + SteveConfiguration.CONFIG.getSteveVersion());
+    }
+
     /**
      * We try every item in the list to compensate for the possibility that one of hosts might be down. If all these
      * big players are down at the same time, that's okay too, because the end of the world must have arrived,
@@ -44,10 +51,11 @@ private static boolean isHostAvailable(String str) {
         try {
             URL url = new URL(str);
             HttpURLConnection con = (HttpURLConnection) url.openConnection();
+            con.setRequestProperty("Connection", "close");  // otherwise, default setting is "keep-alive"
             try {
                 con.setConnectTimeout(CONNECT_TIMEOUT);
                 con.connect();
-                if (con.getResponseCode() == 200) {
+                if (con.getResponseCode() == HttpURLConnection.HTTP_OK) {
                     return true;
                 }
             } finally {