0012801: The file messages.js is included more than one time in the header of the HTML

#!/bin/sh

msgpos=`awk '/messages.js/ {print NR}' $1`
utilpos=`awk '/utils.js/ {print NR}' $1`

if [ -n "$msgpos" ]; then
  if [ -z "$utilpos" ]; then
    echo "$1 $msgpos no utils.js"
    exit 1;
  else
    if [ "$msgpos" -lt "$utilpos" ]; then
      echo "$1 $utilpos $msgpos"
	  exit 1;
	fi
  fi
fi
exit 0;