From f681ce15aeecaf99242d7c264e4c45ea8a3296db Mon Sep 17 00:00:00 2001
From: reger <reger18@arcor.de>
Date: Tue, 24 Dec 2013 05:11:31 +0100
Subject: [PATCH] remove obsolete HTTPServer input field

---
 htroot/Settings_Http.inc | 9 ---------
 htroot/Settings_p.java   | 5 +----
 2 files changed, 1 insertion(+), 13 deletions(-)

diff --git a/htroot/Settings_Http.inc b/htroot/Settings_Http.inc
index 72d2f7fcd..703858e8d 100644
--- a/htroot/Settings_Http.inc
+++ b/htroot/Settings_Http.inc
@@ -41,15 +41,6 @@
     <td>HTTP Server Version:</td>
     <td><b>#[httpservername]#</b></td>
   </tr>
-  <tr>
-    <td>set default server to</td>
-    <td><select name="defaulthttpserver">
-           <option value="jetty">Jetty</optioon>
-           <option value="anomic">YaCy Anomic HTTPD</option>
-        </select>
-        <input type="submit" name="setdefaulthttpserver" value="Submit" /></td>
-    <td><em>Changes effective after a restart</em></td>
-  </tr> 
 </table>
 </fieldset>
 </form><br />
\ No newline at end of file
diff --git a/htroot/Settings_p.java b/htroot/Settings_p.java
index 91e2c3992..e614e4f4b 100644
--- a/htroot/Settings_p.java
+++ b/htroot/Settings_p.java
@@ -191,10 +191,7 @@ public final class Settings_p {
         prop.putHTML("crawler.file.maxFileSize",sb.getConfig("crawler.file.maxFileSize", "-1"));
         
         prop.put("httpservername",sb.getHttpServer().getVersion());
-        if (post != null && post.containsKey("setdefaulthttpserver")) {
-            String server = post.get("defaulthttpserver","jetty");
-            sb.setConfig("defaulthttpserver",server);            
-        }        
+        
         // return rewrite properties
         return prop;
     }