From 422cba8af9837ba20b11a46a6e8a172e3b5a7558 Mon Sep 17 00:00:00 2001
From: gbellato <gbellato@localhost>
Date: Fri, 16 Oct 2009 06:41:58 +0000
Subject: [PATCH] Fix for 4272 : Changes not replayed initially on adde
---
opends/src/server/org/opends/server/replication/common/ServerState.java | 20 ++++++++++++++++++++
1 files changed, 20 insertions(+), 0 deletions(-)
diff --git a/opends/src/server/org/opends/server/replication/common/ServerState.java b/opends/src/server/org/opends/server/replication/common/ServerState.java
index 02aea22..61df06a 100644
--- a/opends/src/server/org/opends/server/replication/common/ServerState.java
+++ b/opends/src/server/org/opends/server/replication/common/ServerState.java
@@ -366,6 +366,26 @@
}
/**
+ * 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)
+ {
+ ChangeNumber change = this.list.get(covered.getServerId());
+ if ((change == null) || (change.older(covered)))
+ {
+ return false;
+ }
+ else
+ {
+ return true;
+ }
+ }
+
+ /**
* Tests if the state is empty.
*
* @return True if the state is empty.
--
Gitblit v1.10.0