Fixed to not work on a bad key.

feature.better-home
Loïc d'Anterroches 2011-02-02 10:34:48 +01:00
parent e31f10e648
commit 7cedd4af7a
1 changed files with 6 additions and 1 deletions

View File

@ -631,7 +631,12 @@ class IDF_Plugin_SyncMonotone
*/
public function processKeyDelete($key)
{
if ($key->getType() != 'mtn') {
try {
if ($key->getType() != 'mtn') {
return;
}
} catch (Exception $e) {
// bad key type, skip it.
return;
}