/**
 * This file is intended to hold Javascript functions
 * which deal with network-related tasks.
 *
 * version $Id: net.js,v 1.1 2006/02/02 12:00:54 tkutz Exp $
**/

/**
 * Send the specified url out using an XmlHttpRequest.
**/
function sendXmlHttpRequest(url) {
    if (window.XMLHttpRequest) {
        req = new XMLHttpRequest();
    } else if (window.ActiveXObject) {
        req = new ActiveXObject("Microsoft.XMLHTTP");
    }
    req.open("GET", url, true);
    req.send(null);
}