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

matthew_swift
05.04.2009 9dc10dec2d5d7f61116f7f647b7cf9596ca77be0
opendj-sdk/opends/src/snmp/src/org/opends/server/snmp/SNMPConnectionHandler.java
@@ -160,16 +160,6 @@
        }
    }
    /**
     * {@inheritDoc}
     */
    @Override()
    public void finalizeConnectionHandler(Message finalizeReason,
            boolean closeConnections) {
        if (this.provider!=null) {
            this.provider.finalizeConnectionHandler();
        }
    }
    /**
     * {@inheritDoc}
@@ -316,6 +306,16 @@
    public boolean isOperational() {
        return this.isOperational;
    }
    /**
     * {@inheritDoc}
    */
    @Override
    public void finalizeConnectionHandler(Message finalizeReason) {
        if (this.provider!=null) {
            this.provider.finalizeConnectionHandler();
        }
    }
}