# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1553069327 -3600
# Node ID 851c47cc4ae7a9fb7ed8fc7b4410bb5c45ae8e35
# Parent  4e875d9eea488a51343fd2c1ceb2825107b61c2c
plugin XEP-0384: handle NoEligibleDevicesException

diff -r 4e875d9eea48 -r 851c47cc4ae7 sat/plugins/plugin_xep_0384.py
--- a/sat/plugins/plugin_xep_0384.py	Wed Mar 20 09:08:47 2019 +0100
+++ b/sat/plugins/plugin_xep_0384.py	Wed Mar 20 09:08:47 2019 +0100
@@ -820,6 +820,12 @@
                             problem.device)
                         expect_problems.setdefault(problem.bare_jid, set()).add(
                             problem.device)
+            elif isinstance(problem, omemo_excpt.NoEligibleDevicesException):
+                if untrusted or found_bundles:
+                    # we may have new devices after this run, so let's continue for now
+                    continue
+                else:
+                    raise problem
             else:
                 raise problem