fix: port in local target adress

& button style

htroot/AugmentedBrowsing_p.html

@@ -13,7 +13,7 @@
 <fieldset><legend id="urlproxy">URL Proxy Settings</legend>
 <p>
   With this settings you can activate or deactivate URL proxy which is the method used for augmentation.
-  Service call: http://localhost:8080/proxy.html?url=parameter, where parameter is the url of an external web page.
+  Service call: http://localhost:8090/proxy.html?url=parameter, where parameter is the url of an external web page.
 </p>
 
             <dl>
@@ -48,12 +48,10 @@
                   Define URL substitution rules which allow navigating in proxy environment. Possible values: all, domainlist. Default: domainlist.
                 </p>
               </dd>
-              
-              
+
             </dl>
 
-	
-            <input type="submit" name="urlproxySettings" value="Submit"/>
+    <input type="submit" name="urlproxySettings" value="Submit" class="btn btn-primary"/>
 </fieldset>
 </form>
     

htroot/AugmentedParsing_p.html

@@ -10,7 +10,7 @@
     <h2>Augmented Parsing</h2>
     
     <form id="parsersettings" action="AugmentedParsing_p.html" method="post" enctype="multipart/form-data">
-<fieldset><legend id="urlproxy">Global Status</legend>
+      <fieldset><legend id="urlproxy">Global Status</legend>
 <p>
   With this settings you can activate or deactivate augmented parsing which combines the documents with information from external sources (tags etc.).
 </p>
@@ -33,13 +33,11 @@
                 </p>
               </dd>
               
-              
             </dl>
 
-	
-            <input type="submit" name="augmentedparserSettings" value="Submit"/>
-</fieldset>
-</form>
+        <input type="submit" name="augmentedparserSettings" value="Submit" class="btn btn-primary"/>
+      </fieldset>
+    </form>
 
     
     #%env/templates/footer.template%#

source/net/yacy/peers/SeedDB.java

@@ -944,7 +944,7 @@ public final class SeedDB implements AlternativeDomainNames {
             if (targetSeed == null) { return null; }
             address = targetSeed.getClusterAddress();
         }
-        if (address == null) address = "localhost:8090";
+        if (address == null) address = "localhost" + (this.mySeed.getPort() > 0 ? ":" + this.mySeed.getPort() : "");
         return address;
     }