Method remove

nodedb/src/data/executor/core_loop/priority_queues.rs:151–161

Remove the task at `pos` (position in priority order: Critical first, then High, then Low). Used by the cancel handler after `iter().position(...)`.

(&mut self, pos: usize)

    ///
    /// Used by the cancel handler after `iter().position(...)`.
    pub fn remove(&mut self, pos: usize) {
        let crit_len = self.critical.len();
        let high_len = self.high.len();
        if pos < crit_len {
            self.critical.remove(pos);
        } else if pos < crit_len + high_len {
            self.high.remove(pos - crit_len);
        } else {
            self.low.remove(pos - crit_len - high_len);
        }
    }

    /// Push a task back to the front of its priority tier.
    ///