mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
blame | history | patch | commit | commitdiff | ignore whitespace
Ludovic Poitou
05.37.2012 55b437508acb80b4931a5d7f37b987adf367fa46 
 opends/src/server/org/opends/server/extensions/ConfigFileHandler.java


@@ -23,7 +23,7 @@


 *


 *


 *      Copyright 2006-2009 Sun Microsystems, Inc.


 *      Portions Copyright 2011 ForgeRock AS


 *      Portions Copyright 2011-2012 ForgeRock AS


 */


package org.opends.server.extensions;




@@ -266,7 +266,7 @@


    // configuration in the archive.  If it doesn't, then archive it.


    maintainConfigArchive = envConfig.maintainConfigArchive();


    maxConfigArchiveSize  = envConfig.getMaxConfigArchiveSize();


    if (maintainConfigArchive & (! useLastKnownGoodConfig))


    if (maintainConfigArchive && (! useLastKnownGoodConfig))


    {


      try


      {