2686 # Sets result in PRESENT_COUNT and PRESENT_IN_DOMAINS. These fields are
2695 let PRESENT_COUNT=0
2715     let PRESENT_COUNT="$PRESENT_COUNT + 1"
2721 [ $DEBUG -eq 1 ] && echo "PRESENT_COUNT = $PRESENT_COUNT"
2730 # and in how many domains this map shows up (PRESENT_COUNT), and in
2738 let PRESENT_COUNT=0
2770 # Since the above function sets the values of PRESENT_COUNT and 
2879         if [ $PRESENT_COUNT -gt 1 ]; then
2940   if [ $PRESENT_COUNT -eq $N2L_DMN_CNT ]
2964   if [ $PRESENT_COUNT -eq $N2L_DMN_CNT ]
3015   if [ $PRESENT_COUNT -eq $N2L_DMN_CNT ]
3037   if [ $PRESENT_COUNT -eq $N2L_DMN_CNT ]
3075     case $PRESENT_COUNT in
3263     if [ $PRESENT_COUNT -eq $N2L_DMN_CNT ]
3385     if [ $PRESENT_COUNT -eq $N2L_DMN_CNT ]
3454   if [ $PRESENT_COUNT -eq 1 ]; then
3663   if [ $PRESENT_COUNT -eq $N2L_DMN_CNT ]
3768   if [ $PRESENT_COUNT -eq $N2L_DMN_CNT ]
4014   if [ $PRESENT_COUNT -eq $N2L_DMN_CNT ]
4108   if [ $PRESENT_COUNT -eq $N2L_DMN_CNT ]
4411   if [ $PRESENT_COUNT -eq $N2L_DMN_CNT ]
4676   if [ $PRESENT_COUNT -eq $N2L_DMN_CNT ]
5086   if [ $PRESENT_COUNT -eq $N2L_DMN_CNT ]
5334   if [ $PRESENT_COUNT -eq $N2L_DMN_CNT ]

Indexes created Tue Jul 24 14:28:13 CEST 2018