public ProcessTimeoutDestroyer(ExternalModule module) { this.module = module; logger = MaryUtils.getLogger(module.name() + " timer"); // The timer threads must have a higher priority than the // normal threads, in order to make sure they are processed // before any other. setPriority(getPriority() + 1); }
public ProcessTimeoutDestroyer(ExternalModule module) { this.module = module; logger = MaryUtils.getLogger(module.name() + " timer"); // The timer threads must have a higher priority than the // normal threads, in order to make sure they are processed // before any other. setPriority(getPriority() + 1); }
public ProcessTimeoutDestroyer(ExternalModule module) { this.module = module; logger = MaryUtils.getLogger(module.name() + " timer"); // The timer threads must have a higher priority than the // normal threads, in order to make sure they are processed // before any other. setPriority(getPriority() + 1); }