out/js/cookies.js

function get_cookie(name) {
        var no_val = '';
        // uncomment following line to get old behaviour null on no cookie
        //no_val = null;

        var start = document.cookie.indexOf(name+"=");
        var len = start+name.length+1;
        if ((!start) && (name != document.cookie.substring(0,name.length))) return no_val;
        if (start == -1) return no_val;
        var end = document.cookie.indexOf(";",len);
        if (end == -1) end = document.cookie.length;
        return unescape(document.cookie.substring(len,end));
}

function set_cookie(name,value,expires,path,domain,secure) {
        document.cookie = name + "=" +escape(value) +
                ( (expires) ? ";expires=" + expires.toGMTString() : "") +
                ( (path) ? ";path=" + path : "") + 
                ( (domain) ? ";domain=" + domain : "") +
                ( (secure) ? ";secure" : "");
}

function delete_cookie(name,path,domain) {
        if (get_cookie(name)) document.cookie = name + "=" +
                ( (path) ? ";path=" + path : "") +
                ( (domain) ? ";domain=" + domain : "") +
                ";expires=Thu, 01-Jan-70 00:00:01 GMT";
}
1	function get_cookie(name) {
2	var no_val = '';
3	// uncomment following line to get old behaviour null on no cookie
4	//no_val = null;
5
6	var start = document.cookie.indexOf(name+"=");
7	var len = start+name.length+1;
8	if ((!start) && (name != document.cookie.substring(0,name.length))) return no_val;
9	if (start == -1) return no_val;
10	var end = document.cookie.indexOf(";",len);
11	if (end == -1) end = document.cookie.length;
12	return unescape(document.cookie.substring(len,end));
13	}
14
15	function set_cookie(name,value,expires,path,domain,secure) {
16	document.cookie = name + "=" +escape(value) +
17	( (expires) ? ";expires=" + expires.toGMTString() : "") +
18	( (path) ? ";path=" + path : "") +
19	( (domain) ? ";domain=" + domain : "") +
20	( (secure) ? ";secure" : "");
21	}
22
23	function delete_cookie(name,path,domain) {
24	if (get_cookie(name)) document.cookie = name + "=" +
25	( (path) ? ";path=" + path : "") +
26	( (domain) ? ";domain=" + domain : "") +
27	";expires=Thu, 01-Jan-70 00:00:01 GMT";
28	}