Merge branch 'master' into feature/jbig2-2018

2018-04-05 21:29:39 -07:00
parent d8ac6e28ab be41ff6d54
commit 4a341c9034
5 changed files with 546 additions and 360 deletions
@@ -879,6 +879,7 @@ def run_pipeline():

    if options.flowchart:
        _log.info("Flowchart saved to {}".format(options.flowchart))
+        return ExitCode.ok
    elif options.output_file == '-':
        _log.info("Output sent to stdout")
    elif os.path.samefile(options.output_file, os.devnull):