From 78e7715cde06aa3ee3dee853f8bc6ea12a350db0 Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Sun, 23 Aug 2020 12:15:10 +0200
Subject: fix #6507

---
 bin/taler-merchant-demos | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

(limited to 'bin')

diff --git a/bin/taler-merchant-demos b/bin/taler-merchant-demos
index 9cc7516..780582c 100755
--- a/bin/taler-merchant-demos
+++ b/bin/taler-merchant-demos
@@ -27,7 +27,7 @@ import argparse
 import sys
 import os
 import site
-from taler.util.talerconfig import TalerConfig
+from taler.util.talerconfig import TalerConfig, ConfigurationError
 
 LOGGER = logging.getLogger(__name__)
 # No perfect match to our logging format, but good enough ...
@@ -72,7 +72,11 @@ def handle_serve_uwsgi(config, whichShop):
 # @param args command line options.
 def handle_serve_http(config, whichShop, port=None):
     if port is None:
-        port = config[whichShop]["http_port"].value_int(required=True)
+        try:
+            port = config[whichShop]["http_port"].value_int(required=True)
+        except ConfigurationError as ce:
+            print(ce)
+            exit(1)
     spec = ":%d" % (port,)
     try:
         os.execlp("uwsgi", "uwsgi",
-- 
cgit v1.2.3