From b85b9f206be7533b9916bb937f8409e13b94dc82 Mon Sep 17 00:00:00 2001
From: hns <hannesw@gmail.com>
Date: Thu, 4 Dec 2003 09:57:49 +0000
Subject: [PATCH] Catch UnknownHostException in checkRunning() gracefully.

---
 src/helma/main/Server.java | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/src/helma/main/Server.java b/src/helma/main/Server.java
index 2ce7865f..d49bf5de 100644
--- a/src/helma/main/Server.java
+++ b/src/helma/main/Server.java
@@ -638,7 +638,12 @@ public class Server implements IPathElement, Runnable {
     private void checkRunning(InetAddrPort addrPort) throws Exception {
         InetAddress addr = addrPort.getInetAddress();
         if (addr == null) {
-            addr = InetAddress.getLocalHost();
+            try {
+                addr = InetAddress.getLocalHost();
+            } catch (UnknownHostException unknown) {
+                System.err.println("Error checking running server: localhost is unknown.");
+                return;
+            }
         }
         try {
             new Socket(addr, addrPort.getPort());