jdk/test/sun/tools/jcmd/jcmd_pid_Output2.awk
changeset 22344 d0620a18ef9b
parent 22343 0f59fce296a3
parent 22292 9224952a7bbe
child 22345 375cf5781110
--- a/jdk/test/sun/tools/jcmd/jcmd_pid_Output2.awk	Wed Jan 15 10:09:00 2014 -0800
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,25 +0,0 @@
-#
-BEGIN	{
-	    totallines=0; matched=0
-	}
-
-# match on counter name followed '=' and an arbitrary value
-/^[a-z|A-Z][a-z|A-Z|0-9|\.|_]*=.*$/	{
-	    matched++;
-	}
-
-# or match the first line (PID of the JVM followed by ':')
-/^[0-9]+:/	{
-	    matched++;
-	}
-
-	{ totallines++; print $0 }
-
-END	{
-    if ((totallines > 0) && (matched == totallines)) {
-	exit 0
-    }
-    else {
-	exit 1
-    }
-}