socket.close(); } </script> {{/if}} {{#if google_analytics}} <!-- Google Analytics Tag --> <script> var localAddrs = ["localhost", "127.0.0.1", ""]; // make sure we don't activate google analytics if the developer is // inspecting the book locally... if (localAddrs.indexOf(document.location.hostname) === -1) { (function(i,s,o,g,r,a,m){i['GoogleAnalyticsObject']=r;i[r]=i[r]||function(){ (i[r].q=i[r].q||[]).push(arguments)},i[r].l=1*new Date();a=s.createElement(o), m=s.getElementsByTagName(o)[0];a.async=1;a.src=g;m.parentNode.insertBefore(a,m) })(window,document,'script','https://www.google-analytics.com/analytics.js','ga'); ga('create', '{{google_analytics}}', 'auto'); ga('send', 'pageview'); } </script> {{/if}} {{#if playground_line_numbers}} <script> window.playground_line_numbers = true;