diff --git a/locales/de.lng b/locales/de.lng index 4cc72e50f..5f7a9e690 100644 --- a/locales/de.lng +++ b/locales/de.lng @@ -1397,6 +1397,7 @@ Use Default Profile:==Standard Profil benutzen: Save==Speichern and use==und nutze of the defined performance.==der vorgegebenen Geschwindigkeit. +show expert settings==Zeige Experten-Einstellungen Changes take effect immediately==Änderungen werden sofort wirksam Cache Settings:==Cache Einstellungen: Cache Type==Cache Typ diff --git a/source/de/anomic/plasma/plasmaDHTChunk.java b/source/de/anomic/plasma/plasmaDHTChunk.java index a90009ecd..1cbd020be 100644 --- a/source/de/anomic/plasma/plasmaDHTChunk.java +++ b/source/de/anomic/plasma/plasmaDHTChunk.java @@ -66,7 +66,7 @@ public class plasmaDHTChunk { private long selectionEndTime = 0; private int transferFailedCounter = 0; - private int kelondroExceptionCounter = 0; + private static int kelondroExceptionCounter = 0; public indexContainer firstContainer() { return indexContainers[0]; @@ -272,7 +272,7 @@ public class plasmaDHTChunk { urlCache = new HashMap(); this.status = chunkStatus_FAILED; kelondroExceptionCounter++; - if (kelondroExceptionCounter > 50) wordIndex.deleteIndexOnExit(); // delete index on exit for rebuild + if (kelondroExceptionCounter > 500) wordIndex.deleteIndexOnExit(); // delete index on exit for rebuild return 0; } }