Fix race condition, fix doc ...stable

- 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

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