# HG changeset patch
# User Franz Glasner <hg@dom66.de>
# Date 1508690276 -7200
# Node ID 5bf2bf962bf044fabeb58d19b9113905c15c835c
# Parent  f08b39dacb21b6d6451c166f1b7cd9416ea3532c
Print the version "label" also.

Use "INDEX" as the name of the local index "repo".

diff -r f08b39dacb21 -r 5bf2bf962bf0 bin/check-ports
--- a/bin/check-ports	Sun Oct 22 18:32:53 2017 +0200
+++ b/bin/check-ports	Sun Oct 22 18:37:56 2017 +0200
@@ -126,10 +126,10 @@
 	if [ -z "${verbose_flag}" ] ; then
 	    echo "${lfqp}    (${repository})"
 	fi
-	echo "   ${ldescr}"
-	echo "   FreeBSD: ${remote_FreeBSD_descr}"
+	echo "   INDEX: ${llabel} ${ldescr}"
+	echo "   FreeBSD: ${remote_FreeBSD_label} ${remote_FreeBSD_descr}"
 	if [ \( -n "${alldata_LocalRepo_flag}" \) -o \( ${remote_LocalRepo_label} != '?' \) ] ; then
-	    echo "   LocalRepo: ${remote_LocalRepo_descr}"
+	    echo "   LocalRepo: ${remote_LocalRepo_label} ${remote_LocalRepo_descr}"
 	fi
     fi
 done <<EOF856661111299999