mirror of https://github.com/pyodide/pyodide.git
Case insensitive packages / URLs
This commit is contained in:
parent
068906bbf7
commit
99772a9ac8
|
@ -3,10 +3,10 @@
|
||||||
*/
|
*/
|
||||||
|
|
||||||
// Regexp for validating package name and URI
|
// Regexp for validating package name and URI
|
||||||
var package_name_regexp = '[a-zA-Z0-9_\-]+'
|
var package_name_regexp = '[a-z0-9_\-]+'
|
||||||
var package_uri_regexp = new RegExp(
|
var package_uri_regexp = new RegExp(
|
||||||
'^https?://.*?(' + package_name_regexp + ').js$');
|
'^https?://.*?(' + package_name_regexp + ').js$', 'i');
|
||||||
var package_name_regexp = new RegExp('^' + package_name_regexp + '$');
|
var package_name_regexp = new RegExp('^' + package_name_regexp + '$', 'i');
|
||||||
|
|
||||||
|
|
||||||
var languagePluginLoader = new Promise((resolve, reject) => {
|
var languagePluginLoader = new Promise((resolve, reject) => {
|
||||||
|
|
Loading…
Reference in New Issue