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

boli
24.45.2007 85abd3f90b47b3f324313e67dd768fc688a8c734
opendj-sdk/opends/src/server/org/opends/server/util/ServerConstants.java
@@ -2580,6 +2580,13 @@
  public static final String PROPERTY_ERROR_LEVEL =
      "org.opends.server.error.level";
  /**
   * The name of the system property that can be used to specify if  the entry
   * lock manager should use a fair ordering policy.
   */
  public static final String PROPERTY_LOCK_MANAGER_FAIR_ORDERING =
       "org.opends.server.LockManagerFairOrdering";
  /**