remove obsolete HTTPServer input field

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 />

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;
     }