Adding switch '--unsafe-naming'

This commit is contained in:
Miroslav Stampar
2024-02-10 15:24:28 +01:00
parent 9c1879b08d
commit 76a2e658b5
5 changed files with 11 additions and 1 deletions

View File

@@ -739,6 +739,9 @@ def cmdLineParser(argv=None):
general.add_argument("--time-limit", dest="timeLimit", type=float,
help="Run with a time limit in seconds (e.g. 3600)")
general.add_argument("--unsafe-naming", dest="unsafeNaming", action="store_true",
help="Disable escaping of DBMS identifiers (e.g. \"user\")")
general.add_argument("--web-root", dest="webRoot",
help="Web server document root directory (e.g. \"/var/www\")")