jprdonnelly/pyscript
1
0
Fork 0
mirror of https://github.com/pyscript/pyscript.git synced 2026-05-15 13:00:20 -04:00
Code Issues Projects Releases Wiki Activity

cleanup the env if forced

Browse Source
This commit is contained in:
webreflection
2026-05-06 18:16:15 +02:00
parent 290b622323
commit c2dd1f23d8
1 changed files with 13 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

19
core/src/plugins/py-editor.js
View File

@@ -282,12 +282,19 @@ const init = async (script, type, interpreter) => {
// allow bootstrap with same env for repeated editor creation
// only if `env-override` is explicitly set as attribute
if (hasConfig && configs.has(env) && !script.hasAttribute("env-override")) {
throw new SyntaxError(
configs.get(env)
? `duplicated config for env: ${env}`
: `unable to add a config to the env: ${env}`,
);
if (hasConfig && configs.has(env)) {
if (script.hasAttribute("env-override")) {
// in this case we need to bootstrap the env again
// because otherwise each env would leak
envs.delete(env);
}
else {
throw new SyntaxError(
configs.get(env)
? `duplicated config for env: ${env}`
: `unable to add a config to the env: ${env}`,
);
}
}
configs.set(env, hasConfig);