Cast to array because this could be empty; update requirements description

thomascube

2007-11-19 1fb2c8e64bb28f1b7ece71b5d3a92150a62a9ecb

 program/include/rcube_imap.inc

@@ -2494,7 +2494,7 @@
    if (!$mbox_name)
      $mbox_name = $this->mailbox;
      
    $index = array_flip($this->uid_id_map[$mbox_name]);
    $index = array_flip((array)$this->uid_id_map[$mbox_name]);
    if (isset($index[$id]))
      $uid = $index[$id];
    else