From 35ca8036edf88325e02f5935b3daa3d869b5f13e Mon Sep 17 00:00:00 2001
From: x99bachelart <x99bachelart>
Date: Sun, 28 Sep 2003 20:52:12 +0000
Subject: [PATCH] bugfix : articles should be dropped in spool->overview AND
 spool->ids...

---
 include/spool.inc.php | 14 +++++++++++---
 1 file changed, 11 insertions(+), 3 deletions(-)

diff --git a/include/spool.inc.php b/include/spool.inc.php
index d16b8c8..1c8457b 100644
--- a/include/spool.inc.php
+++ b/include/spool.inc.php
@@ -204,6 +204,10 @@ class spool {
       }
     }
     unset($this->overview[$_id]);
+    $msgid=array_search($this->ids,$_id);
+    if ($msgids) {
+      unset($this->ids[$msgid]);
+    }
 #    $flipid=array_flip($this->ids);
 #    unset($flipid[$id]);
 #    $this->ids=array_flip($flipid);
@@ -238,9 +242,13 @@ class spool {
         }
       }
       unset($this->overview[$_id]);
-      $ids = array_flip($this->ids);
-      unset($ids[$_id]);
-      $this->ids = array_flip($ids);
+      $msgid=array_search($this->ids,$_id);
+      if ($msgids) {
+        unset($this->ids[$msgid]);
+      }
+#      $ids = array_flip($this->ids);
+#      unset($ids[$_id]);
+#      $this->ids = array_flip($ids);
       $prefix_path=(preg_match("/\/scripts\/?$/",getcwd())?"..":".");    
       $f = fopen("$prefix_path/spool/spool-{$this->group}.dat","w");
       fputs($f,serialize($this));
-- 
2.1.4