make javadoc url search more robust

apache · Jul 14, 2023 · 1e50b32 · 1e50b32
1 parent 61f7460
commit 1e50b32
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/...cts/groovy-groovysh/src/main/groovy/org/apache/groovy/groovysh/commands/DocCommand.groovy b/...cts/groovy-groovysh/src/main/groovy/org/apache/groovy/groovysh/commands/DocCommand.groovy
@@ -201,7 +201,9 @@ class DocCommand extends CommandSupport {
             }
         }
 
-        if (ioe) fail "Sending a HEAD request to $url failed (${ioe}). Please check your network settings."
+        io.out.println "Sending a HEAD request to $url failed (${ioe}). Please check your network settings."
+        // allow timeout to fail since this will happen if we check e.g. for an early access URL for a release JDK version
+        if (ioe !instanceof SocketTimeoutException) fail "Unable to get URLs for documentation."
 
         return false
     }