From b89120aaa58e5953deaae8e9f45eea8a5eaf0873 Mon Sep 17 00:00:00 2001 From: Alex Dedul Date: Thu, 9 Aug 2007 00:36:22 +0000 Subject: [PATCH] Tweaks to core.queue_* functions. --- src/core.py | 19 +++++++++---------- 1 file changed, 9 insertions(+), 10 deletions(-) diff --git a/src/core.py b/src/core.py index 86ec0a4c3..af6e6a12d 100644 --- a/src/core.py +++ b/src/core.py @@ -456,30 +456,29 @@ class Manager: # Queueing functions - def queue_top(self, unique_ID, enforce_queue=True): + def queue_top(self, unique_ID): self.state.queue.insert(0, self.state.queue.pop(self.get_queue_index(unique_ID))) + self.apply_queue() self.pickle_state() - def queue_up(self, unique_ID, enforce_queue=True): + def queue_up(self, unique_ID): curr_index = self.get_queue_index(unique_ID) if curr_index > 0: temp = self.state.queue[curr_index - 1] self.state.queue[curr_index - 1] = unique_ID self.state.queue[curr_index] = temp - if enforce_queue: - self.apply_queue() - self.pickle_state() + self.apply_queue() + self.pickle_state() - def queue_down(self, unique_ID, enforce_queue=True): + def queue_down(self, unique_ID): curr_index = self.get_queue_index(unique_ID) if curr_index < (len(self.state.queue) - 1): temp = self.state.queue[curr_index + 1] self.state.queue[curr_index + 1] = unique_ID self.state.queue[curr_index] = temp - if enforce_queue: - self.apply_queue() - self.pickle_state() + self.apply_queue() + self.pickle_state() def queue_bottom(self, unique_ID, enforce_queue=True): curr_index = self.get_queue_index(unique_ID) @@ -488,7 +487,7 @@ class Manager: self.state.queue.append(unique_ID) if enforce_queue: self.apply_queue() - self.pickle_state() + self.pickle_state() def clear_completed(self): for unique_ID in self.unique_IDs: