Return error code 10 if unrecoverable problem

2019-07-09 10:38:21 +02:00 · 2019-07-09 10:38:21 +02:00 · b192188079
parent 31c25d0ee2
commit b192188079
1 changed files with 3 additions and 0 deletions
--- a/3
+++ b/3
@ -5372,6 +5372,9 @@ MAIN:
      }
    }

+    # do not return clean status if there is uncoverable problem
+    $exit_status = 10 if scalar(@unrecoverable);
+
    exit $exit_status;
  }