xhr is called synchronously

[trungleduc]

Description

getJson helper is using XMLHttpRequest synchronously, which is deprecated and does not work well with service worker. Is there any technical season to avoid async call here or can we convert this function to use fetch?

xeus/src/index.ts

Lines 15 to 20 in 6504866

	function getJson(url: string) {
	const json_url = URLExt.join(PageConfig.getBaseUrl(), url);
	const xhr = new XMLHttpRequest();
	xhr.open('GET', json_url, false);
	xhr.send(null);

[trungleduc]

cc @DerThorsten

[DerThorsten]

@trungleduc so if you can make this part async then we of course can just use fetch
I assume that part here

export default plugins;

is the problem

[trungleduc]

Thanks @DerThorsten, i will open a PR to fix this issue.