have_js.js

   1 // $Id$
   2
   3 var searchN=window.location.search;
   4 if (searchN=="" || searchN=="?")
   5         searchN="?";
   6 else
   7         searchN+="&";
   8 searchN+="have_js=1";
   9
  10 window.location.href
  11         =window.location.protocol+"//"
  12         +window.location.hostname
  13         +window.location.pathname
  14         +window.location.hash
  15         +searchN;