diff --git a/src/dune/__main__.py b/src/dune/__main__.py index b7a7c552..23d403d0 100644 --- a/src/dune/__main__.py +++ b/src/dune/__main__.py @@ -1,3 +1,5 @@ +import sys # sys.exit() + from args import arg_parser from args import parse_optional from dune import dune @@ -159,6 +161,8 @@ except KeyboardInterrupt: pass except dune_node_not_found as err: - print('Node not found [' + err.name() + ']') + print('Node not found [' + err.name() + ']', file=sys.stderr) + sys.exit(1) except dune_error as err: - print("Internal Error") + print("Internal Error", file=sys.stderr) + sys.exit(1)