From c9a085522f9f31b4a86efc391469be746df052b4 Mon Sep 17 00:00:00 2001
From: Markus Unterwaditzer <markus@unterwaditzer.net>
Date: Tue, 15 Aug 2017 13:46:34 +0200
Subject: [PATCH] Abort discovery on UserError

---
 vdirsyncer/cli/discover.py | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/vdirsyncer/cli/discover.py b/vdirsyncer/cli/discover.py
index 4038252..06aecfb 100644
--- a/vdirsyncer/cli/discover.py
+++ b/vdirsyncer/cli/discover.py
@@ -202,7 +202,12 @@ def _collection_from_discovered(get_discovered, collection, config,
 def _print_collections(instance_name, get_discovered):
     try:
         discovered = get_discovered()
+    except exceptions.UserError:
+        raise
     except Exception:
+        # Unless discovery failed due to a user-inflicted error (instanceof
+        # UserError), we don't even know if the storage supports discovery
+        # properly. So we can't abort.
         import traceback
         logger.debug(''.join(traceback.format_tb(sys.exc_info()[2])))
         logger.warning('Failed to discover collections for {}, use `-vdebug` '