diff options
Diffstat (limited to 'query-rpki-prefixes')
| -rwxr-xr-x | query-rpki-prefixes | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/query-rpki-prefixes b/query-rpki-prefixes index 34c365a..5ed7815 100755 --- a/query-rpki-prefixes +++ b/query-rpki-prefixes @@ -1,4 +1,5 @@ #!/bin/bash +set -e . common.sh read_prefixes () { @@ -25,4 +26,5 @@ process_result () { } +set -o pipefail read_prefixes | open_db | extract_answer | process_result |