From 2953ebe70181395299296b51d9ed16722d86de45 Mon Sep 17 00:00:00 2001 From: reger Date: Sat, 29 Mar 2014 00:34:01 +0100 Subject: [PATCH] fix: port in local target adress & button style --- htroot/AugmentedBrowsing_p.html | 8 +++----- htroot/AugmentedParsing_p.html | 10 ++++------ source/net/yacy/peers/SeedDB.java | 2 +- 3 files changed, 8 insertions(+), 12 deletions(-) diff --git a/htroot/AugmentedBrowsing_p.html b/htroot/AugmentedBrowsing_p.html index 34c399181..e46d7f1eb 100644 --- a/htroot/AugmentedBrowsing_p.html +++ b/htroot/AugmentedBrowsing_p.html @@ -13,7 +13,7 @@
URL Proxy Settings

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.

@@ -48,12 +48,10 @@ Define URL substitution rules which allow navigating in proxy environment. Possible values: all, domainlist. Default: domainlist.

- - +
- - +
diff --git a/htroot/AugmentedParsing_p.html b/htroot/AugmentedParsing_p.html index 618bb5517..e54bafccb 100644 --- a/htroot/AugmentedParsing_p.html +++ b/htroot/AugmentedParsing_p.html @@ -10,7 +10,7 @@

Augmented Parsing

-
Global Status +
Global Status

With this settings you can activate or deactivate augmented parsing which combines the documents with information from external sources (tags etc.).

@@ -33,13 +33,11 @@

- - - -
- + +
+ #%env/templates/footer.template%# diff --git a/source/net/yacy/peers/SeedDB.java b/source/net/yacy/peers/SeedDB.java index 9cb166470..1a450a810 100644 --- a/source/net/yacy/peers/SeedDB.java +++ b/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; }