| OLD | NEW |
| 1 /* ***** BEGIN LICENSE BLOCK ***** | 1 /* ***** BEGIN LICENSE BLOCK ***** |
| 2 * Version: MPL 1.1/GPL 2.0/LGPL 2.1 | 2 * Version: MPL 1.1/GPL 2.0/LGPL 2.1 |
| 3 * | 3 * |
| 4 * The contents of this file are subject to the Mozilla Public License Version | 4 * The contents of this file are subject to the Mozilla Public License Version |
| 5 * 1.1 (the "License"); you may not use this file except in compliance with | 5 * 1.1 (the "License"); you may not use this file except in compliance with |
| 6 * the License. You may obtain a copy of the License at | 6 * the License. You may obtain a copy of the License at |
| 7 * http://www.mozilla.org/MPL/ | 7 * http://www.mozilla.org/MPL/ |
| 8 * | 8 * |
| 9 * Software distributed under the License is distributed on an "AS IS" basis, | 9 * Software distributed under the License is distributed on an "AS IS" basis, |
| 10 * WITHOUT WARRANTY OF ANY KIND, either express or implied. See the License | 10 * WITHOUT WARRANTY OF ANY KIND, either express or implied. See the License |
| (...skipping 33 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 44 // 'mozilla/netwerk/base/src/nsProxyAutoConfig.js' (1.55) | 44 // 'mozilla/netwerk/base/src/nsProxyAutoConfig.js' (1.55) |
| 45 // | 45 // |
| 46 // Using the command: | 46 // Using the command: |
| 47 // $ cat nsProxyAutoConfig.js | | 47 // $ cat nsProxyAutoConfig.js | |
| 48 // awk '/var pacUtils/,/EOF/' | | 48 // awk '/var pacUtils/,/EOF/' | |
| 49 // sed -e 's/^\s*$/""/g' | | 49 // sed -e 's/^\s*$/""/g' | |
| 50 // sed -e 's/"\s*[+]\s*$/"/g' | | 50 // sed -e 's/"\s*[+]\s*$/"/g' | |
| 51 // sed -e 's/"$/" \\/g' | | 51 // sed -e 's/"$/" \\/g' | |
| 52 // sed -e 's/\/(ipaddr);/\/.exec(ipaddr);/g' | | 52 // sed -e 's/\/(ipaddr);/\/.exec(ipaddr);/g' | |
| 53 // grep -v '^var pacUtils =' | 53 // grep -v '^var pacUtils =' |
| 54 #define PROXY_RESOLVER_SCRIPT \ | 54 #define PROXY_RESOLVER_SCRIPT \ |
| 55 "function dnsDomainIs(host, domain) {\n" \ | 55 "function dnsDomainIs(host, domain) {\n" \ |
| 56 " return (host.length >= domain.length &&\n" \ | 56 " return (host.length >= domain.length &&\n" \ |
| 57 " host.substring(host.length - domain.length) == domain);\n" \ | 57 " host.substring(host.length - domain.length) == domain);\n" \ |
| 58 "}\n" \ | 58 "}\n" \ |
| 59 "" \ | 59 "" \ |
| 60 "function dnsDomainLevels(host) {\n" \ | 60 "function dnsDomainLevels(host) {\n" \ |
| 61 " return host.split('.').length-1;\n" \ | 61 " return host.split('.').length-1;\n" \ |
| 62 "}\n" \ | 62 "}\n" \ |
| 63 "" \ | 63 "" \ |
| 64 "function convert_addr(ipchars) {\n" \ | 64 "function convert_addr(ipchars) {\n" \ |
| 65 " var bytes = ipchars.split('.');\n" \ | 65 " var bytes = ipchars.split('.');\n" \ |
| 66 " var result = ((bytes[0] & 0xff) << 24) |\n" \ | 66 " var result = ((bytes[0] & 0xff) << 24) |\n" \ |
| 67 " ((bytes[1] & 0xff) << 16) |\n" \ | 67 " ((bytes[1] & 0xff) << 16) |\n" \ |
| 68 " ((bytes[2] & 0xff) << 8) |\n" \ | 68 " ((bytes[2] & 0xff) << 8) |\n" \ |
| 69 " (bytes[3] & 0xff);\n" \ | 69 " (bytes[3] & 0xff);\n" \ |
| 70 " return result;\n" \ | 70 " return result;\n" \ |
| 71 "}\n" \ | 71 "}\n" \ |
| 72 "" \ | 72 "" \ |
| 73 "function isInNet(ipaddr, pattern, maskstr) {\n" \ | 73 "function isInNet(ipaddr, pattern, maskstr) {\n" \ |
| 74 " var test = /^(\\d{1,3})\\.(\\d{1,3})\\.(\\d{1,3})\\.(\\d{1,3})$/.exec(ipa
ddr);\n" \ | 74 " var test = " \ |
| 75 " if (test == null) {\n" \ | 75 "/^(\\d{1,3})\\.(\\d{1,3})\\.(\\d{1,3})\\.(\\d{1,3})$/.exec(ipaddr);\n" \ |
| 76 " ipaddr = dnsResolve(ipaddr);\n" \ | 76 " if (test == null) {\n" \ |
| 77 " if (ipaddr == null)\n" \ | 77 " ipaddr = dnsResolve(ipaddr);\n" \ |
| 78 " return false;\n" \ | 78 " if (ipaddr == null)\n" \ |
| 79 " } else if (test[1] > 255 || test[2] > 255 || \n" \ | 79 " return false;\n" \ |
| 80 " test[3] > 255 || test[4] > 255) {\n" \ | 80 " } else if (test[1] > 255 || test[2] > 255 || \n" \ |
| 81 " return false; // not an IP address\n" \ | 81 " test[3] > 255 || test[4] > 255) {\n" \ |
| 82 " }\n" \ | 82 " return false; // not an IP address\n" \ |
| 83 " var host = convert_addr(ipaddr);\n" \ | 83 " }\n" \ |
| 84 " var pat = convert_addr(pattern);\n" \ | 84 " var host = convert_addr(ipaddr);\n" \ |
| 85 " var mask = convert_addr(maskstr);\n" \ | 85 " var pat = convert_addr(pattern);\n" \ |
| 86 " return ((host & mask) == (pat & mask));\n" \ | 86 " var mask = convert_addr(maskstr);\n" \ |
| 87 " \n" \ | 87 " return ((host & mask) == (pat & mask));\n" \ |
| 88 "}\n" \ | 88 " \n" \ |
| 89 "" \ | 89 "}\n" \ |
| 90 "function isPlainHostName(host) {\n" \ | 90 "" \ |
| 91 " return (host.search('\\\\.') == -1);\n" \ | 91 "function isPlainHostName(host) {\n" \ |
| 92 "}\n" \ | 92 " return (host.search('\\\\.') == -1);\n" \ |
| 93 "" \ | 93 "}\n" \ |
| 94 "function isResolvable(host) {\n" \ | 94 "" \ |
| 95 " var ip = dnsResolve(host);\n" \ | 95 "function isResolvable(host) {\n" \ |
| 96 " return (ip != null);\n" \ | 96 " var ip = dnsResolve(host);\n" \ |
| 97 "}\n" \ | 97 " return (ip != null);\n" \ |
| 98 "" \ | 98 "}\n" \ |
| 99 "function localHostOrDomainIs(host, hostdom) {\n" \ | 99 "" \ |
| 100 " return (host == hostdom) ||\n" \ | 100 "function localHostOrDomainIs(host, hostdom) {\n" \ |
| 101 " (hostdom.lastIndexOf(host + '.', 0) == 0);\n" \ | 101 " return (host == hostdom) ||\n" \ |
| 102 "}\n" \ | 102 " (hostdom.lastIndexOf(host + '.', 0) == 0);\n" \ |
| 103 "" \ | 103 "}\n" \ |
| 104 "function shExpMatch(url, pattern) {\n" \ | 104 "" \ |
| 105 " pattern = pattern.replace(/\\./g, '\\\\.');\n" \ | 105 "function shExpMatch(url, pattern) {\n" \ |
| 106 " pattern = pattern.replace(/\\*/g, '.*');\n" \ | 106 " pattern = pattern.replace(/\\./g, '\\\\.');\n" \ |
| 107 " pattern = pattern.replace(/\\?/g, '.');\n" \ | 107 " pattern = pattern.replace(/\\*/g, '.*');\n" \ |
| 108 " var newRe = new RegExp('^'+pattern+'$');\n" \ | 108 " pattern = pattern.replace(/\\?/g, '.');\n" \ |
| 109 " return newRe.test(url);\n" \ | 109 " var newRe = new RegExp('^'+pattern+'$');\n" \ |
| 110 "}\n" \ | 110 " return newRe.test(url);\n" \ |
| 111 "" \ | 111 "}\n" \ |
| 112 "var wdays = {SUN: 0, MON: 1, TUE: 2, WED: 3, THU: 4, FRI: 5, SAT: 6};\n" \ | 112 "" \ |
| 113 "" \ | 113 "var wdays = {SUN: 0, MON: 1, TUE: 2, WED: 3, THU: 4, FRI: 5, SAT: 6};\n" \ |
| 114 "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};\n" \ | 114 "" \ |
| 115 "" \ | 115 "var months = {JAN: 0, FEB: 1, MAR: 2, APR: 3, MAY: 4, JUN: 5, JUL: 6, " \ |
| 116 "function weekdayRange() {\n" \ | 116 "AUG: 7, SEP: 8, OCT: 9, NOV: 10, DEC: 11};\n" \ |
| 117 " function getDay(weekday) {\n" \ | 117 "" \ |
| 118 " if (weekday in wdays) {\n" \ | 118 "function weekdayRange() {\n" \ |
| 119 " return wdays[weekday];\n" \ | 119 " function getDay(weekday) {\n" \ |
| 120 " }\n" \ | 120 " if (weekday in wdays) {\n" \ |
| 121 " return -1;\n" \ | 121 " return wdays[weekday];\n" \ |
| 122 " }\n" \ | 122 " }\n" \ |
| 123 " var date = new Date();\n" \ | 123 " return -1;\n" \ |
| 124 " var argc = arguments.length;\n" \ | 124 " }\n" \ |
| 125 " var wday;\n" \ | 125 " var date = new Date();\n" \ |
| 126 " if (argc < 1)\n" \ | 126 " var argc = arguments.length;\n" \ |
| 127 " return false;\n" \ | 127 " var wday;\n" \ |
| 128 " if (arguments[argc - 1] == 'GMT') {\n" \ | 128 " if (argc < 1)\n" \ |
| 129 " argc--;\n" \ | 129 " return false;\n" \ |
| 130 " wday = date.getUTCDay();\n" \ | 130 " if (arguments[argc - 1] == 'GMT') {\n" \ |
| 131 " } else {\n" \ | 131 " argc--;\n" \ |
| 132 " wday = date.getDay();\n" \ | 132 " wday = date.getUTCDay();\n" \ |
| 133 " }\n" \ | 133 " } else {\n" \ |
| 134 " var wd1 = getDay(arguments[0]);\n" \ | 134 " wday = date.getDay();\n" \ |
| 135 " var wd2 = (argc == 2) ? getDay(arguments[1]) : wd1;\n" \ | 135 " }\n" \ |
| 136 " return (wd1 == -1 || wd2 == -1) ? false\n" \ | 136 " var wd1 = getDay(arguments[0]);\n" \ |
| 137 " : (wd1 <= wday && wday <= wd2);\n" \ | 137 " var wd2 = (argc == 2) ? getDay(arguments[1]) : wd1;\n" \ |
| 138 "}\n" \ | 138 " return (wd1 == -1 || wd2 == -1) ? false\n" \ |
| 139 "" \ | 139 " : (wd1 <= wday && wday <= wd2);\n" \ |
| 140 "function dateRange() {\n" \ | 140 "}\n" \ |
| 141 " function getMonth(name) {\n" \ | 141 "" \ |
| 142 " if (name in months) {\n" \ | 142 "function dateRange() {\n" \ |
| 143 " return months[name];\n" \ | 143 " function getMonth(name) {\n" \ |
| 144 " }\n" \ | 144 " if (name in months) {\n" \ |
| 145 " return -1;\n" \ | 145 " return months[name];\n" \ |
| 146 " }\n" \ | 146 " }\n" \ |
| 147 " var date = new Date();\n" \ | 147 " return -1;\n" \ |
| 148 " var argc = arguments.length;\n" \ | 148 " }\n" \ |
| 149 " if (argc < 1) {\n" \ | 149 " var date = new Date();\n" \ |
| 150 " return false;\n" \ | 150 " var argc = arguments.length;\n" \ |
| 151 " }\n" \ | 151 " if (argc < 1) {\n" \ |
| 152 " var isGMT = (arguments[argc - 1] == 'GMT');\n" \ | 152 " return false;\n" \ |
| 153 "\n" \ | 153 " }\n" \ |
| 154 " if (isGMT) {\n" \ | 154 " var isGMT = (arguments[argc - 1] == 'GMT');\n" \ |
| 155 " argc--;\n" \ | 155 "\n" \ |
| 156 " }\n" \ | 156 " if (isGMT) {\n" \ |
| 157 " // function will work even without explict handling of this case\n" \ | 157 " argc--;\n" \ |
| 158 " if (argc == 1) {\n" \ | 158 " }\n" \ |
| 159 " var tmp = parseInt(arguments[0]);\n" \ | 159 " // function will work even without explict handling of this case\n" \ |
| 160 " if (isNaN(tmp)) {\n" \ | 160 " if (argc == 1) {\n" \ |
| 161 " return ((isGMT ? date.getUTCMonth() : date.getMonth()) ==\n" \ | 161 " var tmp = parseInt(arguments[0]);\n" \ |
| 162 "getMonth(arguments[0]));\n" \ | 162 " if (isNaN(tmp)) {\n" \ |
| 163 " } else if (tmp < 32) {\n" \ | 163 " return ((isGMT ? date.getUTCMonth() : date.getMonth()) ==\n" \ |
| 164 " return ((isGMT ? date.getUTCDate() : date.getDate()) == tmp);\n"
\ | 164 "getMonth(arguments[0]));\n" \ |
| 165 " } else { \n" \ | 165 " } else if (tmp < 32) {\n" \ |
| 166 " return ((isGMT ? date.getUTCFullYear() : date.getFullYear()) ==\n
" \ | 166 " return ((isGMT ? date.getUTCDate() : date.getDate()) == " \ |
| 167 "tmp);\n" \ | 167 "tmp);\n" \ |
| 168 " }\n" \ | 168 " } else { \n" \ |
| 169 " }\n" \ | 169 " return ((isGMT ? date.getUTCFullYear() : date.getFullYear()) " \ |
| 170 " var year = date.getFullYear();\n" \ | 170 "==\n" \ |
| 171 " var date1, date2;\n" \ | 171 "tmp);\n" \ |
| 172 " date1 = new Date(year, 0, 1, 0, 0, 0);\n" \ | 172 " }\n" \ |
| 173 " date2 = new Date(year, 11, 31, 23, 59, 59);\n" \ | 173 " }\n" \ |
| 174 " var adjustMonth = false;\n" \ | 174 " var year = date.getFullYear();\n" \ |
| 175 " for (var i = 0; i < (argc >> 1); i++) {\n" \ | 175 " var date1, date2;\n" \ |
| 176 " var tmp = parseInt(arguments[i]);\n" \ | 176 " date1 = new Date(year, 0, 1, 0, 0, 0);\n" \ |
| 177 " if (isNaN(tmp)) {\n" \ | 177 " date2 = new Date(year, 11, 31, 23, 59, 59);\n" \ |
| 178 " var mon = getMonth(arguments[i]);\n" \ | 178 " var adjustMonth = false;\n" \ |
| 179 " date1.setMonth(mon);\n" \ | 179 " for (var i = 0; i < (argc >> 1); i++) {\n" \ |
| 180 " } else if (tmp < 32) {\n" \ | 180 " var tmp = parseInt(arguments[i]);\n" \ |
| 181 " adjustMonth = (argc <= 2);\n" \ | 181 " if (isNaN(tmp)) {\n" \ |
| 182 " date1.setDate(tmp);\n" \ | 182 " var mon = getMonth(arguments[i]);\n" \ |
| 183 " } else {\n" \ | 183 " date1.setMonth(mon);\n" \ |
| 184 " date1.setFullYear(tmp);\n" \ | 184 " } else if (tmp < 32) {\n" \ |
| 185 " }\n" \ | 185 " adjustMonth = (argc <= 2);\n" \ |
| 186 " }\n" \ | 186 " date1.setDate(tmp);\n" \ |
| 187 " for (var i = (argc >> 1); i < argc; i++) {\n" \ | 187 " } else {\n" \ |
| 188 " var tmp = parseInt(arguments[i]);\n" \ | 188 " date1.setFullYear(tmp);\n" \ |
| 189 " if (isNaN(tmp)) {\n" \ | 189 " }\n" \ |
| 190 " var mon = getMonth(arguments[i]);\n" \ | 190 " }\n" \ |
| 191 " date2.setMonth(mon);\n" \ | 191 " for (var i = (argc >> 1); i < argc; i++) {\n" \ |
| 192 " } else if (tmp < 32) {\n" \ | 192 " var tmp = parseInt(arguments[i]);\n" \ |
| 193 " date2.setDate(tmp);\n" \ | 193 " if (isNaN(tmp)) {\n" \ |
| 194 " } else {\n" \ | 194 " var mon = getMonth(arguments[i]);\n" \ |
| 195 " date2.setFullYear(tmp);\n" \ | 195 " date2.setMonth(mon);\n" \ |
| 196 " }\n" \ | 196 " } else if (tmp < 32) {\n" \ |
| 197 " }\n" \ | 197 " date2.setDate(tmp);\n" \ |
| 198 " if (adjustMonth) {\n" \ | 198 " } else {\n" \ |
| 199 " date1.setMonth(date.getMonth());\n" \ | 199 " date2.setFullYear(tmp);\n" \ |
| 200 " date2.setMonth(date.getMonth());\n" \ | 200 " }\n" \ |
| 201 " }\n" \ | 201 " }\n" \ |
| 202 " if (isGMT) {\n" \ | 202 " if (adjustMonth) {\n" \ |
| 203 " var tmp = date;\n" \ | 203 " date1.setMonth(date.getMonth());\n" \ |
| 204 " tmp.setFullYear(date.getUTCFullYear());\n" \ | 204 " date2.setMonth(date.getMonth());\n" \ |
| 205 " tmp.setMonth(date.getUTCMonth());\n" \ | 205 " }\n" \ |
| 206 " tmp.setDate(date.getUTCDate());\n" \ | 206 " if (isGMT) {\n" \ |
| 207 " tmp.setHours(date.getUTCHours());\n" \ | 207 " var tmp = date;\n" \ |
| 208 " tmp.setMinutes(date.getUTCMinutes());\n" \ | 208 " tmp.setFullYear(date.getUTCFullYear());\n" \ |
| 209 " tmp.setSeconds(date.getUTCSeconds());\n" \ | 209 " tmp.setMonth(date.getUTCMonth());\n" \ |
| 210 " date = tmp;\n" \ | 210 " tmp.setDate(date.getUTCDate());\n" \ |
| 211 " }\n" \ | 211 " tmp.setHours(date.getUTCHours());\n" \ |
| 212 " return ((date1 <= date) && (date <= date2));\n" \ | 212 " tmp.setMinutes(date.getUTCMinutes());\n" \ |
| 213 "}\n" \ | 213 " tmp.setSeconds(date.getUTCSeconds());\n" \ |
| 214 "" \ | 214 " date = tmp;\n" \ |
| 215 "function timeRange() {\n" \ | 215 " }\n" \ |
| 216 " var argc = arguments.length;\n" \ | 216 " return ((date1 <= date) && (date <= date2));\n" \ |
| 217 " var date = new Date();\n" \ | 217 "}\n" \ |
| 218 " var isGMT= false;\n" \ | 218 "" \ |
| 219 "\n" \ | 219 "function timeRange() {\n" \ |
| 220 " if (argc < 1) {\n" \ | 220 " var argc = arguments.length;\n" \ |
| 221 " return false;\n" \ | 221 " var date = new Date();\n" \ |
| 222 " }\n" \ | 222 " var isGMT= false;\n" \ |
| 223 " if (arguments[argc - 1] == 'GMT') {\n" \ | 223 "\n" \ |
| 224 " isGMT = true;\n" \ | 224 " if (argc < 1) {\n" \ |
| 225 " argc--;\n" \ | 225 " return false;\n" \ |
| 226 " }\n" \ | 226 " }\n" \ |
| 227 "\n" \ | 227 " if (arguments[argc - 1] == 'GMT') {\n" \ |
| 228 " var hour = isGMT ? date.getUTCHours() : date.getHours();\n" \ | 228 " isGMT = true;\n" \ |
| 229 " var date1, date2;\n" \ | 229 " argc--;\n" \ |
| 230 " date1 = new Date();\n" \ | 230 " }\n" \ |
| 231 " date2 = new Date();\n" \ | 231 "\n" \ |
| 232 "\n" \ | 232 " var hour = isGMT ? date.getUTCHours() : date.getHours();\n" \ |
| 233 " if (argc == 1) {\n" \ | 233 " var date1, date2;\n" \ |
| 234 " return (hour == arguments[0]);\n" \ | 234 " date1 = new Date();\n" \ |
| 235 " } else if (argc == 2) {\n" \ | 235 " date2 = new Date();\n" \ |
| 236 " return ((arguments[0] <= hour) && (hour <= arguments[1]));\n" \ | 236 "\n" \ |
| 237 " } else {\n" \ | 237 " if (argc == 1) {\n" \ |
| 238 " switch (argc) {\n" \ | 238 " return (hour == arguments[0]);\n" \ |
| 239 " case 6:\n" \ | 239 " } else if (argc == 2) {\n" \ |
| 240 " date1.setSeconds(arguments[2]);\n" \ | 240 " return ((arguments[0] <= hour) && (hour <= arguments[1]));\n" \ |
| 241 " date2.setSeconds(arguments[5]);\n" \ | 241 " } else {\n" \ |
| 242 " case 4:\n" \ | 242 " switch (argc) {\n" \ |
| 243 " var middle = argc >> 1;\n" \ | 243 " case 6:\n" \ |
| 244 " date1.setHours(arguments[0]);\n" \ | 244 " date1.setSeconds(arguments[2]);\n" \ |
| 245 " date1.setMinutes(arguments[1]);\n" \ | 245 " date2.setSeconds(arguments[5]);\n" \ |
| 246 " date2.setHours(arguments[middle]);\n" \ | 246 " case 4:\n" \ |
| 247 " date2.setMinutes(arguments[middle + 1]);\n" \ | 247 " var middle = argc >> 1;\n" \ |
| 248 " if (middle == 2) {\n" \ | 248 " date1.setHours(arguments[0]);\n" \ |
| 249 " date2.setSeconds(59);\n" \ | 249 " date1.setMinutes(arguments[1]);\n" \ |
| 250 " }\n" \ | 250 " date2.setHours(arguments[middle]);\n" \ |
| 251 " break;\n" \ | 251 " date2.setMinutes(arguments[middle + 1]);\n" \ |
| 252 " default:\n" \ | 252 " if (middle == 2) {\n" \ |
| 253 " throw 'timeRange: bad number of arguments'\n" \ | 253 " date2.setSeconds(59);\n" \ |
| 254 " }\n" \ | 254 " }\n" \ |
| 255 " }\n" \ | 255 " break;\n" \ |
| 256 "\n" \ | 256 " default:\n" \ |
| 257 " if (isGMT) {\n" \ | 257 " throw 'timeRange: bad number of arguments'\n" \ |
| 258 " date.setFullYear(date.getUTCFullYear());\n" \ | 258 " }\n" \ |
| 259 " date.setMonth(date.getUTCMonth());\n" \ | 259 " }\n" \ |
| 260 " date.setDate(date.getUTCDate());\n" \ | 260 "\n" \ |
| 261 " date.setHours(date.getUTCHours());\n" \ | 261 " if (isGMT) {\n" \ |
| 262 " date.setMinutes(date.getUTCMinutes());\n" \ | 262 " date.setFullYear(date.getUTCFullYear());\n" \ |
| 263 " date.setSeconds(date.getUTCSeconds());\n" \ | 263 " date.setMonth(date.getUTCMonth());\n" \ |
| 264 " }\n" \ | 264 " date.setDate(date.getUTCDate());\n" \ |
| 265 " return ((date1 <= date) && (date <= date2));\n" \ | 265 " date.setHours(date.getUTCHours());\n" \ |
| 266 " date.setMinutes(date.getUTCMinutes());\n" \ |
| 267 " date.setSeconds(date.getUTCSeconds());\n" \ |
| 268 " }\n" \ |
| 269 " return ((date1 <= date) && (date <= date2));\n" \ |
| 266 "}\n" | 270 "}\n" |
| 267 | 271 |
| 268 // This is a Microsoft extension to PAC for IPv6, see: | 272 // This is a Microsoft extension to PAC for IPv6, see: |
| 269 // http://blogs.msdn.com/b/wndp/archive/2006/07/13/ipv6-pac-extensions-v0-9.aspx | 273 // http://blogs.msdn.com/b/wndp/archive/2006/07/13/ipv6-pac-extensions-v0-9.aspx |
| 270 #define PROXY_RESOLVER_SCRIPT_EX \ | 274 #define PROXY_RESOLVER_SCRIPT_EX \ |
| 271 "function isResolvableEx(host) {\n" \ | 275 "function isResolvableEx(host) {\n" \ |
| 272 " var ipList = dnsResolveEx(host);\n" \ | 276 " var ipList = dnsResolveEx(host);\n" \ |
| 273 " return (ipList != '');\n" \ | 277 " return (ipList != '');\n" \ |
| 274 "}\n" | 278 "}\n" |
| 275 | 279 |
| 276 #endif // NET_PROXY_PROXY_RESOLVER_SCRIPT_H_ | 280 #endif // NET_PROXY_PROXY_RESOLVER_SCRIPT_H_ |
| OLD | NEW |