6 defined($GTID) or $GTID="UA-9060947-1";
9 <script type="text/javascript">
10 var gaJsHost = (("https:" == document.location.protocol) ?
11 "https://ssl." : "http://www.");
12 document.write(unescape("%3Cscript src=\'" + gaJsHost +
13 "google-analytics.com/ga.js\' type=\'text/javascript\'%3E%3C/script%3E"));
15 <script type="text/javascript">
17 var pageTracker = _gat._getTracker("'$GTID'");
18 pageTracker._trackPageview();
27 if (system("grep","-v","-q",'"'.$GTID.'"',$f)) {
28 if (open OF,">$f.".$GTID) {
32 $_=~s!<body>!$SCRIPT!;
34 # $_=~s!href="([~"]+)"!href="$1" onclick="
40 rename($f,$f.".old.".$GTID) or die("Couldn't rename $f to $f".".old.".$GTID,$@);
41 rename($f.".$GTID",$f) or die("Couldn't rename $f.".$GTID." to $f",$@);
42 unlink($f.".old.".$GTID) or die("Couldn't delete ".$f.".old.".$GTID,$@);
44 warn("Can't open $f for reading.",$@);
47 warn("Couldn't open new edited file $f.$GTID",$@);