# HG changeset patch
# User Franz Glasner <hg@dom66.de>
# Date 1511424753 -3600
# Node ID ffa6a61e77e878a807ceaf9723a5d14416f59170
# Parent  dfcbe14615b0c861017fcd92aca24bc25e232749
FIX: Wrong redirection: intended was output to stderr but instead we did read

diff -r dfcbe14615b0 -r ffa6a61e77e8 bin/check-ports
--- a/bin/check-ports	Wed Nov 22 21:32:47 2017 +0100
+++ b/bin/check-ports	Thu Nov 23 09:12:33 2017 +0100
@@ -201,7 +201,7 @@
 		    _print_detail=1
 		    ;;
 		*)
-		    echo "ERROR: unhandled repository: ${repository}" <&2
+		    echo "ERROR: unhandled repository: ${repository}" >&2
 		    exit 1
 		    ;;
 	    esac