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

neil_a_wilson
01.18.2007 a49dee3f75d6e2548e9114d9495655dd56f06973
opends/src/server/org/opends/server/extensions/TraditionalWorkerThread.java
@@ -112,7 +112,6 @@
   */
  public void setStoppedByReducedThreadNumber()
  {
    stoppedByReducedThreadNumber = true;
  }
@@ -129,7 +128,6 @@
   */
  public boolean isActive()
  {
    return (isAlive() && (operation != null));
  }
@@ -141,7 +139,6 @@
   */
  public void run()
  {
    workerThread = currentThread();
    while (! shutdownRequested)
@@ -265,7 +262,6 @@
   */
  public void shutDown()
  {
    if (debugEnabled())
    {
      debugInfo(getName() + " being signaled to shut down.");