File: utils.js

package info (click to toggle)
firefox-esr 68.10.0esr-1~deb9u1
  • links: PTS, VCS
  • area: main
  • in suites: stretch
  • size: 3,143,932 kB
  • sloc: cpp: 5,227,879; javascript: 4,315,531; ansic: 2,467,042; python: 794,975; java: 349,993; asm: 232,034; xml: 228,320; sh: 82,008; lisp: 41,202; makefile: 22,347; perl: 15,555; objc: 5,277; cs: 4,725; yacc: 1,778; ada: 1,681; pascal: 1,673; lex: 1,417; exp: 527; php: 436; ruby: 225; awk: 162; sed: 53; csh: 44
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;
}