diff --git a/mc_openapi/__main__.py b/mc_openapi/__main__.py index 13505b0db862cc6f9273be68aaca3e5fd385dccd..8b0d655649ceacce4573a1045b7e1fdd4c83578b 100644 --- a/mc_openapi/__main__.py +++ b/mc_openapi/__main__.py @@ -50,14 +50,8 @@ if not args.doml and not args.synth: 'formatters': {'default': { 'format': '[%(asctime)s] %(levelname)s: %(message)s', }}, - 'handlers': {'wsgi': { - 'class': 'logging.StreamHandler', - 'stream': 'ext://flask.logging.wsgi_errors_stream', - 'formatter': 'default' - }}, 'root': { 'level': 'DEBUG', - 'handlers': ['wsgi'] } }) logging.info(f"DOML Model Checker v{__version__}") @@ -127,4 +121,4 @@ else: else: # Synthesis synthesize_model(dmc, domlr_src, args.tries) # TODO: Do something with the results - \ No newline at end of file + diff --git a/requirements.txt b/requirements.txt index 1564b9f175e924cfe5ab2e44e1fcbc0827fb8969..b8a42a33b7b0df313a84955baedf2d41047d749e 100644 --- a/requirements.txt +++ b/requirements.txt @@ -12,3 +12,4 @@ pytest pytest-xdist pytest-subtests jinja2 +requests