diff options
| author | David Timber <dxdt@dev.snart.me> | 2024-10-28 13:56:31 +0100 |
|---|---|---|
| committer | David Timber <dxdt@dev.snart.me> | 2024-10-28 13:56:31 +0100 |
| commit | b16e440e6159a2fa218b103f82da3680de98c0a6 (patch) | |
| tree | 91e3a2ae2aeb95653c7e93b2cea7bfb156d2d373 /query-rpki-prefixes | |
| parent | 644235b021a1649241da5fbca8600630951785bd (diff) | |
| parent | ca08936a767d443571cec1d973a197d2cd692ead (diff) | |
Merge branch 'dev'
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 |