mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
blame | history | patch | commit | commitdiff | ignore whitespace
boli
18.37.2008 5d6b56353ce3a2816410052d4b2b531c0c676c06 
 opends/src/server/org/opends/server/core/CoreConfigManager.java


@@ -353,8 +353,8 @@


      DirectoryServer.setWorkflowConfigurationMode(newMode);


    }




    AbstractOperation.setUseNanoTime(globalConfig.getEtimeResolution() ==


      GlobalCfgDefn.EtimeResolution.NANO_SECONDS);


    DirectoryServer.setUseNanoTime(globalConfig.getEtimeResolution() ==


      GlobalCfgDefn.EtimeResolution.NANOSECONDS);


  }