File: utils.js

package info (click to toggle)
firefox-esr 52.8.1esr-1~deb8u1
  • links: PTS, VCS
  • area: main
  • in suites: jessie
  • size: 1,983,244 kB
  • sloc: cpp: 4,810,275; ansic: 2,004,548; python: 451,282; java: 241,615; asm: 178,649; xml: 136,302; sh: 82,207; makefile: 22,575; perl: 15,783; objc: 4,389; yacc: 1,816; ada: 1,697; pascal: 1,519; lex: 1,257; cs: 879; exp: 499; php: 436; lisp: 258; awk: 152; sed: 51; ruby: 47; csh: 27
file content (80 lines) | stat: -rw-r--r-- 1,924 bytes parent folder | download | duplicates (11)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
function make_absolute_url(options) {
    var loc = window.location;
    var protocol = get(options, "protocol", loc.protocol);
    if (protocol[protocol.length - 1] != ":") {
        protocol += ":";
    }

    var hostname = get(options, "hostname", loc.hostname);

    var subdomain = get(options, "subdomain");
    if (subdomain) {
        hostname = subdomain + "." + hostname;
    }

    var port = get(options, "port", loc.port)
    var path = get(options, "path", loc.pathname);
    var query = get(options, "query", loc.search);
    var hash = get(options, "hash", loc.hash)

    var url = protocol + "//" + hostname;
    if (port) {
        url += ":" + port;
    }

    if (path[0] != "/") {
        url += "/";
    }
    url += path;
    if (query) {
        if (query[0] != "?") {
            url += "?";
        }
        url += query;
    }
    if (hash) {
        if (hash[0] != "#") {
            url += "#";
        }
        url += hash;
    }
    return url;
}

function get(obj, name, default_val) {
    if (obj.hasOwnProperty(name)) {
        return obj[name];
    }
    return default_val;
}

function token() {
    var uuid = [to_hex(rand_int(32), 8),
                to_hex(rand_int(16), 4),
                to_hex(0x4000 | rand_int(12), 4),
                to_hex(0x8000 | rand_int(14), 4),
                to_hex(rand_int(48), 12)].join("-")
    return uuid;
}

function rand_int(bits) {
    if (bits < 1 || bits > 53) {
        throw new TypeError();
    } else {
        if (bits >= 1 && bits <= 30) {
            return 0 | ((1 << bits) * Math.random());
        } else {
            var high = (0 | ((1 << (bits - 30)) * Math.random())) * (1 << 30);
            var low = 0 | ((1 << 30) * Math.random());
            return  high + low;
        }
    }
}

function to_hex(x, length) {
    var rv = x.toString(16);
    while (rv.length < length) {
        rv = "0" + rv;
    }
    return rv;
}