[dev] whups queue permission problem

[Volker Then]

Hi,

the block "Queue Summary" shows summary of queues even if the user  
doesn't have the proper permissions to view them. The user even can  
get a list of open tickets of those queues:

horde/whups/queue/?id=...

followed by notices

Notice: Undefined index: name in  
/var/www/html/horde/whups/queue/index.php on line 43

Notice: Undefined index: id in /var/www/html/horde/whups/lib/Whups.php  
on line 46

Notice: Undefined index: name in  
/var/www/html/horde/whups/queue/index.php on line 57


Alt least, the tickets are not accessible by the user:

You do not have permission to access this ticket


Did I miss something when setting up queue permissions?


Thanks

Volker