Merge pull request #81 from mdboom/lint

Fix #78: LINT [skip ci]
This commit is contained in:
Michael Droettboom 2018-07-19 08:05:10 -04:00 committed by GitHub
commit 512588c4f9
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 6 additions and 6 deletions

View File

@ -63,7 +63,7 @@ var languagePluginLoader = new Promise((resolve, reject) => {
});
if (window.iodide !== undefined) {
window.iodide.evalQueue.await([promise]);
window.iodide.evalQueue.await([ promise ]);
}
return promise;
@ -95,11 +95,11 @@ var languagePluginLoader = new Promise((resolve, reject) => {
Module.postRun = () => {
delete window.Module;
fetch(`${baseURL}packages.json`)
.then((response) => response.json())
.then((json) => {
window.pyodide.packages = json;
resolve();
});
.then((response) => response.json())
.then((json) => {
window.pyodide.packages = json;
resolve();
});
};
});