[Tickets #13277] Undefined index: devId [pid on line 974 of "/usr/share/php/Horde/ActiveSync/State/Sql.php"]

[noreply at bugs.horde.org]

DO NOT REPLY TO THIS MESSAGE. THIS EMAIL ADDRESS IS NOT MONITORED.

Ticket URL: http://bugs.horde.org/ticket/13277
------------------------------------------------------------------------------
  Ticket             | 13277
  Created By         | skhorde at smail.inf.fh-bonn-rhein-sieg.de
  Summary            | Undefined index: devId [pid  on line 974 of
                     | "/usr/share/php/Horde/ActiveSync/State/Sql.php"]
  Queue              | Synchronization
  Version            | FRAMEWORK_5_1
  Type               | Bug
  State              | Unconfirmed
  Priority           | 1. Low
  Milestone          |
  Patch              |
  Owners             |
------------------------------------------------------------------------------


skhorde at smail.inf.fh-bonn-rhein-sieg.de (2014-06-20 13:52) wrote:

These PHP-Errors are generated, if you call

             $GLOBALS['injector']->getInstance('Horde_ActiveSyncState')
                 ->removeState(array('user' => $user));


HORDE: [horde] PHP ERROR: Undefined index: devId [pid 22012 on line  
974 of "/usr/share/php/Horde/ActiveSync/State/Sql.php"]
HORDE: [horde] PHP ERROR: Undefined index: devId [pid 22012 on line  
976 of "/usr/share/php/Horde/ActiveSync/State/Sql.php"]

line 970:
             } elseif (!empty($user_query) && empty($options['devId'])) {
                 // If there was a user_deletion, check if we should remove the
                 // device entry as well
                 $sql = 'SELECT COUNT(*) FROM ' .  
$this->_syncUsersTable . ' WHERE device_id = ?';
                 if (!$this->_db->selectValue($sql,  
array($options['devId']))) {

if $options['devId'] in line 970 is empty, line 974 makes no sense.

If I understand the comment correctly, Shouldn't this piece of code  
remove all devices that had a relation in  
horde_activesync_device_users, but became orphan now?
I mean: device_ids removed from  horde_activesync_device_users, but  
have no other associated user in that table left. -> Orphaned devices  
so to say.