mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
blame | history | patch | commit | commitdiff | ignore whitespace
neil_a_wilson
25.40.2007 44aad3f84d2a820094f3b5e73722778edc8c23f5 
 opends/src/server/org/opends/server/tasks/ShutdownTask.java


@@ -35,12 +35,12 @@


import org.opends.server.backends.task.Task;


import org.opends.server.backends.task.TaskState;


import org.opends.server.core.DirectoryServer;


import org.opends.server.core.Operation;


import org.opends.server.types.Attribute;


import org.opends.server.types.AttributeType;


import org.opends.server.types.AttributeValue;


import org.opends.server.types.DirectoryException;


import org.opends.server.types.Entry;


import org.opends.server.types.Operation;


import org.opends.server.types.Privilege;


import org.opends.server.types.ResultCode;