104105106107108109110111112113114
SimpleWebConsolePlugin plugin = this.plugin; if (tracker.getTrackingCount() == 0 && plugin != null) { // remove service plugin.unregister(); this.plugin = null; // unregister configuration printer too ServiceRegistration reg = printerRegistration; if (reg != null) {
93949596979899100101102103
{ SimpleWebConsolePlugin plugin = this.plugin; if (tracker.getTrackingCount() == 0 && plugin != null) { plugin.unregister(); this.plugin = null; } } }
8889909192939495969798
115116117118119120121122123124125
{ SimpleWebConsolePlugin plugin = this.plugin; if (pkgAdminTracker.size() <= 1 && plugin != null) { plugin.unregister(); this.plugin = null; } }
949596979899100101102103104
SimpleWebConsolePlugin plugin = this.plugin; if (tracker.size() <= 1 && plugin != null) { // remove service plugin.unregister(); this.plugin = null; // unregister configuration printer too ServiceRegistration reg = printerRegistration; if (reg != null) {
103104105106107108109110111112113
} } if (tracker.size() == 0 && plugin != null) { plugin.unregister(); this.plugin = null; // unregister configuration printer too ServiceRegistration reg = printerRegistration; if (reg != null)
106107108109110111112113114115116
controller.removedService(reference, service); } if (tracker.size() <= 1 && plugin != null) { plugin.unregister(); this.plugin = null; // unregister configuration printer too ServiceRegistration reg = printerRegistration; if (reg != null)