Fix replacing timeout.
Change-Id: Ic74750b545a418d74ac448cee4f45ae59a703be9
diff --git a/src/main/java/de/ids_mannheim/korap/rewrite/TimeoutRewrite.java b/src/main/java/de/ids_mannheim/korap/rewrite/TimeoutRewrite.java
index a467ce5..1cdfd2f 100644
--- a/src/main/java/de/ids_mannheim/korap/rewrite/TimeoutRewrite.java
+++ b/src/main/java/de/ids_mannheim/korap/rewrite/TimeoutRewrite.java
@@ -16,12 +16,14 @@
int timeout = (access.equals(CorpusAccess.FREE)) ?
config.getGuestTimeout() : config.getLoginTimeout();
- if (node.has("timeout")) {
- RewriteIdentifier id = new RewriteIdentifier("timeout",
- node.get("timeout"), "Timeout has been replaced. "
- + "The original value is described in the original "
- + "property.");
- node.replace("timeout", timeout, id);
+ if (node.has("timeout")) {
+ if (node.at("/timeout").asInt() > timeout) {
+ RewriteIdentifier id = new RewriteIdentifier("timeout",
+ node.get("timeout"), "Timeout has been replaced. "
+ + "The original value is described in the original "
+ + "property.");
+ node.replace("timeout", timeout, id);
+ }
}
else {
RewriteIdentifier id = new RewriteIdentifier("timeout", null,