mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: d0cdd38e | patch | commit | ignore whitespace
coulbeck
12.32.2007 80e920262d6ffaab109641995a7efe1b18f63bdc 
Correct apparent error in deregisterAllOnShutdown.
1 files modified
2 ■■■■■ changed files
opends/src/server/org/opends/server/core/WorkflowImpl.java 2 ●●●●● patch | view | raw | blame | history 
 opends/src/server/org/opends/server/core/WorkflowImpl.java


@@ -239,7 +239,7 @@


    synchronized (registeredWorkflowsLock)


    {


      registeredWorkflows =


        new TreeMap<String, Workflow>(registeredWorkflows);


        new TreeMap<String, Workflow>();


    }


  }


}