From 14e56801fe56117f75a5c01b370c058bb644f5c5 Mon Sep 17 00:00:00 2001 From: Paco Hope Date: Fri, 25 Nov 2022 23:26:52 -0500 Subject: [PATCH] exit on error --- server-util/make-users.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/server-util/make-users.py b/server-util/make-users.py index 0861f52..3852d40 100644 --- a/server-util/make-users.py +++ b/server-util/make-users.py @@ -54,10 +54,12 @@ def main(): mailbox = args.email.split('@')[0] except IndexError: print("ERROR: This doesn't look like an email address: \"{}\"".format(args.email)) + sys.exit(1) try: emailDomain = args.email.split('@')[1] except IndexError: print("ERROR: This doesn't look like an email address: \"{}\"".format(args.email)) + sys.exit(1) done = 0 while( done < args.num ):