From ca08936a767d443571cec1d973a197d2cd692ead Mon Sep 17 00:00:00 2001
From: David Timber <dxdt@dev.snart.me>
Date: Mon, 28 Oct 2024 13:36:35 +0100
Subject: Fix race condition, fix doc ...

- Remove use of named pipe which was a bad design in the first place
- Fix rare case where netcat's error slipping processing the last AS
- Doc: fix factual errors, add some more info
---
 query-rpki-prefixes | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'query-rpki-prefixes')

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
-- 
cgit