From aa47ecbf8a035a0519c72314714e3189f1e6d5de Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Norman=20J=C3=A4ckel?= <openslides@normanjaeckel.de>
Date: Sat, 14 Jan 2017 10:48:41 +0100
Subject: [PATCH] Added error message for unknown args. Fixed #2200.

---
 openslides/__main__.py | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/openslides/__main__.py b/openslides/__main__.py
index 7bbf2c4b5..38555f091 100644
--- a/openslides/__main__.py
+++ b/openslides/__main__.py
@@ -36,6 +36,9 @@ def main():
         setup_django_settings_module(local_installation=local_installation)
         execute_from_command_line(sys.argv)
     else:
+        # Check for unknown_args.
+        if unknown_args:
+            parser.error('Unknown arguments {}'.format(' '.join(unknown_args)))
         # Run a command that is defined here
         # These are commands that can not rely on an existing settings
         known_args.callback(known_args)