From 4400366c8bae1d238800a9b2146a004424b9c389 Mon Sep 17 00:00:00 2001
From: Lukas Eder <lukas.eder@gmail.com>
Date: Thu, 31 May 2012 10:31:24 +0300
Subject: [PATCH] SEO: Added Woopra tracking code, removed pinterest script

---
 jOOQ-website/frame.php | 20 ++++++++++++++++++--
 1 file changed, 18 insertions(+), 2 deletions(-)
diff --git a/jOOQ-website/frame.php b/jOOQ-website/frame.php
index 4ef9cf563b..56b9254030 100644
--- a/jOOQ-website/frame.php
+++ b/jOOQ-website/frame.php
@@ -39,6 +39,24 @@
 		  })();
 
 		</script>
+		<!-- Start of Woopra Code -->
+		<script type="text/javascript">
+		function woopraReady(tracker) {
+			tracker.setDomain('jooq.org');
+			tracker.setIdleTimeout(300000);
+			tracker.track();
+			return false;
+		}
+		(function() {
+			var wsc = document.createElement('script');
+			wsc.src = document.location.protocol+'//static.woopra.com/js/woopra.js';
+			wsc.type = 'text/javascript';
+			wsc.async = true;
+			var ssc = document.getElementsByTagName('script')[0];
+			ssc.parentNode.insertBefore(wsc, ssc);
+		})();
+		</script>
+		<!-- End of Woopra Code -->
 	</head>
 	<body onload="prettyPrint()">
 	    <div id="navigation">
@@ -142,7 +160,5 @@
 			style="position: absolute; top: 0; right: 0; border: 0;"/> </a>
 		<div style="display: none">
 			<img src="/img/logo.png" alt="The jOOQ Logo" title="jOOQ Logo"/>
-
-		<script type="text/javascript" src="//assets.pinterest.com/js/pinit.js"></script>
 	</body>
 </html>
