downloader.js

   1 var dl = function(url)
   2 {
   3     try {
   4         netscape.security.PrivilegeManager.enablePrivilege("UniversalBrowserRead");
   5         var req = new XMLHttpRequest();
   6         req.open('GET',url,false);
   7         //XHR binary charset opt by Marcus Granado 2006 [http://mgran.blogspot.com]
   8         req.overrideMimeType('text/plain; charset=x-user-defined');
   9         req.send(null);
  10         if (req.status != 200) return '';
  11         return req.responseText;
  12     }
  13     catch (e)
  14     {
  15         alert("download error!");
  16     }
  17 }