From d19acb303c4ff90e48fd98ce2d7ba739ca9ea2db Mon Sep 17 00:00:00 2001
From: gbellato <gbellato@localhost>
Date: Wed, 18 Nov 2009 16:55:52 +0000
Subject: [PATCH] Fix for Issue 4300 : stop replication server cause OutOfMemoryError

---
 opends/src/server/org/opends/server/replication/plugin/PersistentServerState.java |   12 ++++++++++++
 1 files changed, 12 insertions(+), 0 deletions(-)

diff --git a/opends/src/server/org/opends/server/replication/plugin/PersistentServerState.java b/opends/src/server/org/opends/server/replication/plugin/PersistentServerState.java
index 1f67c46..a4010f9 100644
--- a/opends/src/server/org/opends/server/replication/plugin/PersistentServerState.java
+++ b/opends/src/server/org/opends/server/replication/plugin/PersistentServerState.java
@@ -123,6 +123,18 @@
   }
 
   /**
+   * Checks that the ChangeNumber given as a parameter is in this ServerState.
+   *
+   * @param   covered The ChangeNumber that should be checked.
+   * @return  A boolean indicating if this ServerState contains the ChangeNumber
+   *          given in parameter.
+   */
+  public boolean cover(ChangeNumber covered)
+  {
+    return state.cover(covered);
+  }
+
+  /**
    * Update the Server State with a ChangeNumber.
    * All operations with smaller CSN and the same serverID must be committed
    * before calling this method.

--
Gitblit v1.10.0