have_js.js

   1 // $Id$
   2
   3 // Prevent redirection of some top (referring) foreign webpage as it
   4 // may not pass "have_js=1" to us anyway. (for example Google cache)
   5
   6 if (window.location.hostname=="www.energie.vellum.cz") {
   7         var searchN=window.location.search;
   8         if (searchN=="" || searchN=="?")
   9                 searchN="?";
  10         else
  11                 searchN+="&";
  12         searchN+="have_js=1";
  13
  14         window.location.href
  15                         =window.location.protocol+"//"
  16                         +window.location.hostname
  17                         +window.location.pathname
  18                         +window.location.hash
  19                         +searchN;
  20         }