rnhmjoj/qutebrowser
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

keep old pac_utils.js

Browse Source
This commit is contained in:
plexigras 2017-10-31 16:40:09 +01:00
parent 905c984148
commit fa8476f762
1 changed files with 52 additions and 52 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

104
qutebrowser/javascript/pac_utils.js
View File

@ -39,7 +39,7 @@
/* /*
Script for Proxy Auto Config in the new world order. Script for Proxy Auto Config in the new world order.
- Gagan Saksena 04/24/00 - Gagan Saksena 04/24/00
*/ */
function dnsDomainIs(host, domain) { function dnsDomainIs(host, domain) {
@ -52,8 +52,8 @@ function dnsDomainLevels(host) {
} }
function convert_addr(ipchars) { function convert_addr(ipchars) {
const bytes = ipchars.split('.'); var bytes = ipchars.split('.');
const result = ((bytes[0] & 0xff) << 24) | var result = ((bytes[0] & 0xff) << 24) |
((bytes[1] & 0xff) << 16) | ((bytes[1] & 0xff) << 16) |
((bytes[2] & 0xff) << 8) | ((bytes[2] & 0xff) << 8) |
(bytes[3] & 0xff); (bytes[3] & 0xff);
@ -61,7 +61,7 @@ function convert_addr(ipchars) {
} }
function isInNet(ipaddr, pattern, maskstr) { function isInNet(ipaddr, pattern, maskstr) {
const test = /^(\d{1,3})\.(\d{1,3})\.(\d{1,3})\.(\d{1,3})$/ var test = /^(\d{1,3})\.(\d{1,3})\.(\d{1,3})\.(\d{1,3})$/
.exec(ipaddr); .exec(ipaddr);
if (test == null) { if (test == null) {
ipaddr = dnsResolve(ipaddr); ipaddr = dnsResolve(ipaddr);
@ -71,9 +71,9 @@ function isInNet(ipaddr, pattern, maskstr) {
test[3] > 255 || test[4] > 255) { test[3] > 255 || test[4] > 255) {
return false; // not an IP address return false; // not an IP address
} }
const host = convert_addr(ipaddr); var host = convert_addr(ipaddr);
const pat = convert_addr(pattern); var pat = convert_addr(pattern);
const mask = convert_addr(maskstr); var mask = convert_addr(maskstr);
return ((host & mask) == (pat & mask)); return ((host & mask) == (pat & mask));
} }
@ -82,75 +82,75 @@ function isPlainHostName(host) {
} }
function isResolvable(host) { function isResolvable(host) {
const ip = dnsResolve(host); var ip = dnsResolve(host);
return (ip != null); return (ip != null);
} }
function localHostOrDomainIs(host, hostdom) { function localHostOrDomainIs(host, hostdom) {
return (host == hostdom) || return (host == hostdom) ||
(hostdom.lastIndexOf(`${host}.`, 0) == 0); (hostdom.lastIndexOf(host + '.', 0) == 0);
} }
function shExpMatch(url, pattern) { function shExpMatch(url, pattern) {
pattern = pattern.replace(/\./g, '\\.'); pattern = pattern.replace(/\./g, '\\.');
pattern = pattern.replace(/\*/g, '.*'); pattern = pattern.replace(/\*/g, '.*');
pattern = pattern.replace(/\?/g, '.'); pattern = pattern.replace(/\?/g, '.');
const newRe = new RegExp(`^${pattern}$`); var newRe = new RegExp('^'+pattern+'$');
return newRe.test(url); return newRe.test(url);
} }
const wdays = {SUN: 0, MON: 1, TUE: 2, WED: 3, THU: 4, FRI: 5, SAT: 6}; var wdays = {SUN: 0, MON: 1, TUE: 2, WED: 3, THU: 4, FRI: 5, SAT: 6};
const months = {JAN: 0, FEB: 1, MAR: 2, APR: 3, MAY: 4, JUN: 5, JUL: 6, var months = {JAN: 0, FEB: 1, MAR: 2, APR: 3, MAY: 4, JUN: 5, JUL: 6,
AUG: 7, SEP: 8, OCT: 9, NOV: 10, DEC: 11}; AUG: 7, SEP: 8, OCT: 9, NOV: 10, DEC: 11};
function weekdayRange(...args) { function weekdayRange() {
function getDay(weekday) { function getDay(weekday) {
if (weekday in wdays) { if (weekday in wdays) {
return wdays[weekday]; return wdays[weekday];
} }
return -1; return -1;
} }
const date = new Date(); var date = new Date();
let argc = args.length; var argc = arguments.length;
let wday; var wday;
if (argc < 1) if (argc < 1)
return false; return false;
if (args[argc - 1] == 'GMT') { if (arguments[argc - 1] == 'GMT') {
argc--; argc--;
wday = date.getUTCDay(); wday = date.getUTCDay();
} else { } else {
wday = date.getDay(); wday = date.getDay();
} }
const wd1 = getDay(args[0]); var wd1 = getDay(arguments[0]);
const wd2 = (argc == 2) ? getDay(args[1]) : wd1; var wd2 = (argc == 2) ? getDay(arguments[1]) : wd1;
return (wd1 == -1 || wd2 == -1) ? false return (wd1 == -1 || wd2 == -1) ? false
: (wd1 <= wday && wday <= wd2); : (wd1 <= wday && wday <= wd2);
} }
function dateRange(...args) { function dateRange() {
function getMonth(name) { function getMonth(name) {
if (name in months) { if (name in months) {
return months[name]; return months[name];
} }
return -1; return -1;
} }
let date = new Date(); var date = new Date();
let argc = args.length; var argc = arguments.length;
if (argc < 1) { if (argc < 1) {
return false; return false;
} }
const isGMT = (args[argc - 1] == 'GMT'); var isGMT = (arguments[argc - 1] == 'GMT');
if (isGMT) { if (isGMT) {
argc--; argc--;
} }
// function will work even without explict handling of this case // function will work even without explict handling of this case
if (argc == 1) { if (argc == 1) {
let tmp = parseInt(args[0]); var tmp = parseInt(arguments[0]);
if (isNaN(tmp)) { if (isNaN(tmp)) {
return (isGMT ? date.getUTCMonth() : date.getMonth()) == return ((isGMT ? date.getUTCMonth() : date.getMonth()) ==
getMonth(args[0]); getMonth(arguments[0]));
} else if (tmp < 32) { } else if (tmp < 32) {
return ((isGMT ? date.getUTCDate() : date.getDate()) == tmp); return ((isGMT ? date.getUTCDate() : date.getDate()) == tmp);
} else { } else {
@ -158,15 +158,15 @@ function dateRange(...args) {
tmp); tmp);
} }
} }
const year = date.getFullYear(); var year = date.getFullYear();
let date1, date2; var date1, date2;
date1 = new Date(year, 0, 1, 0, 0, 0); date1 = new Date(year, 0, 1, 0, 0, 0);
date2 = new Date(year, 11, 31, 23, 59, 59); date2 = new Date(year, 11, 31, 23, 59, 59);
let adjustMonth = false; var adjustMonth = false;
for (let i = 0; i < (argc >> 1); i++) { for (var i = 0; i < (argc >> 1); i++) {
let tmp = parseInt(args[i]); var tmp = parseInt(arguments[i]);
if (isNaN(tmp)) { if (isNaN(tmp)) {
let mon = getMonth(args[i]); var mon = getMonth(arguments[i]);
date1.setMonth(mon); date1.setMonth(mon);
} else if (tmp < 32) { } else if (tmp < 32) {
adjustMonth = (argc <= 2); adjustMonth = (argc <= 2);
@ -175,10 +175,10 @@ function dateRange(...args) {
date1.setFullYear(tmp); date1.setFullYear(tmp);
} }
} }
for (let i = (argc >> 1); i < argc; i++) { for (var i = (argc >> 1); i < argc; i++) {
let tmp = parseInt(args[i]); var tmp = parseInt(arguments[i]);
if (isNaN(tmp)) { if (isNaN(tmp)) {
let mon = getMonth(args[i]); var mon = getMonth(arguments[i]);
date2.setMonth(mon); date2.setMonth(mon);
} else if (tmp < 32) { } else if (tmp < 32) {
date2.setDate(tmp); date2.setDate(tmp);
@ -191,7 +191,7 @@ function dateRange(...args) {
date2.setMonth(date.getMonth()); date2.setMonth(date.getMonth());
} }
if (isGMT) { if (isGMT) {
let tmp = date; var tmp = date;
tmp.setFullYear(date.getUTCFullYear()); tmp.setFullYear(date.getUTCFullYear());
tmp.setMonth(date.getUTCMonth()); tmp.setMonth(date.getUTCMonth());
tmp.setDate(date.getUTCDate()); tmp.setDate(date.getUTCDate());
@ -203,39 +203,39 @@ function dateRange(...args) {
return ((date1 <= date) && (date <= date2)); return ((date1 <= date) && (date <= date2));
} }
function timeRange(...args) { function timeRange() {
let argc = args.length; var argc = arguments.length;
const date = new Date(); var date = new Date();
let isGMT= false; var isGMT= false;
if (argc < 1) { if (argc < 1) {
return false; return false;
} }
if (args[argc - 1] == 'GMT') { if (arguments[argc - 1] == 'GMT') {
isGMT = true; isGMT = true;
argc--; argc--;
} }
const hour = isGMT ? date.getUTCHours() : date.getHours(); var hour = isGMT ? date.getUTCHours() : date.getHours();
let date1, date2; var date1, date2;
date1 = new Date(); date1 = new Date();
date2 = new Date(); date2 = new Date();
if (argc == 1) { if (argc == 1) {
return hour == args[0]; return (hour == arguments[0]);
} else if (argc == 2) { } else if (argc == 2) {
return (args[0] <= hour) && (hour <= args[1]); return ((arguments[0] <= hour) && (hour <= arguments[1]));
} else { } else {
switch (argc) { switch (argc) {
case 6: case 6:
date1.setSeconds(args[2]); date1.setSeconds(arguments[2]);
date2.setSeconds(args[5]); date2.setSeconds(arguments[5]);
case 4: case 4:
const middle = argc >> 1; var middle = argc >> 1;
date1.setHours(args[0]); date1.setHours(arguments[0]);
date1.setMinutes(args[1]); date1.setMinutes(arguments[1]);
date2.setHours(args[middle]); date2.setHours(arguments[middle]);
date2.setMinutes(args[middle + 1]); date2.setMinutes(arguments[middle + 1]);
if (middle == 2) { if (middle == 2) {
date2.setSeconds(59); date2.setSeconds(59);
} }