mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git

Matthew Swift
19.23.2011 4bf7d7c4a02bf5d16acf88579f2c0f376f3e4080
opends/src/server/org/opends/server/core/AuthenticatedUsers.java
@@ -23,6 +23,7 @@
 *
 *
 *      Copyright 2008-2010 Sun Microsystems, Inc.
 *      Portions copyright 2011 ForgeRock AS
 */
package org.opends.server.core;
import java.util.HashSet;
@@ -234,7 +235,7 @@
        Message message = WARN_CLIENTCONNECTION_DISCONNECT_DUE_TO_DELETE.get(
                String.valueOf(entry.getDN()));
        conn.disconnect(DisconnectReason.OTHER, true, message);
        conn.disconnect(DisconnectReason.INVALID_CREDENTIALS, true, message);
      }
    }
  }