/**
 * HTTP-Requests ausloesen,
 * Unterscheidung nach MSIE und anderen Browsern
 */
function set_request(url)
{
  if( url == '' )
  {
    return true;
  }

  if( window.XMLHttpRequest )
  {
    req = new XMLHttpRequest();
    req.onreadystatechange = process_request_change;
    req.open("GET", url, false);
    req.send(null);
  }
  else if( window.ActiveXObject )
  {
    req = new ActiveXObject("Microsoft.XMLHTTP");
    req.onreadystatechange = process_request_change;
    req.open("GET", url, false);
    req.send();
  }
}


/**
 * Ueberwachung des HTTP-Requests,
 * entfaellt da fuer das Logging uninteressant
 */
function process_request_change()
{
  return ''
}