Browse Source

case ignored now

Jiri Kuthan 23 years ago
parent
commit
1997d7c465
1 changed files with 3 additions and 0 deletions
  1. 3 0
      scripts/harv_ser.sh

+ 3 - 0
scripts/harv_ser.sh

@@ -39,6 +39,9 @@ echo "Log: $CURRENT"
 
 AWK_PG='
 BEGIN {
+
+	IGNORECASE=1;
+
     rpl100=0; rpl180=0; rpl183=0; rpl1xx=0;
     rpl200=0; rpl202=0; rpl2xx=0;
     rpl300=0; rpl302=0; rpl3xx=0;