jprdonnelly/pyscript
1
0
Fork 0
mirror of https://github.com/pyscript/pyscript.git synced 2025-12-20 18:55:29 -05:00
Code Issues Projects Releases Wiki Activity

Revert output manager after REPR evaluation (#522)

Browse Source 
* Revert output manager after repr evaluation

* Fix indentation
This commit is contained in:
Philipp Rudiger
2022-06-21 23:42:53 +02:00
committed by GitHub
parent 829cc9f6f9
commit deb2eee3ad
1 changed files with 8 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
pyscriptjs/src/components/base.ts
View File

@@ -130,21 +130,19 @@ export class BaseEvalElement extends HTMLElement {
try {
source = this.source ? await this.getSourceFromFile(this.source)
: this.getSourceFromElement();
const is_async = source.includes('asyncio')
await this._register_esm(pyodide);
if (source.includes('asyncio')) {
if (is_async) {
await pyodide.runPythonAsync(
`output_manager.change(out="${this.outputElement.id}", err="${this.errorElement.id}", append=${this.appendOutput ? 'True' : 'False'})`,
);
output = await pyodide.runPythonAsync(source);
await pyodide.runPythonAsync(`output_manager.revert()`);
} else {
output = pyodide.runPython(
`output_manager.change(out="${this.outputElement.id}", err="${this.errorElement.id}", append=${this.appendOutput ? 'True' : 'False'})`,
);
output = pyodide.runPython(source);
pyodide.runPython(`output_manager.revert()`);
}
if (output !== undefined) {
@@ -158,6 +156,12 @@ export class BaseEvalElement extends HTMLElement {
this.outputElement.style.display = 'block';
}
if (is_async) {
await pyodide.runPythonAsync(`output_manager.revert()`);
} else {
await pyodide.runPython(`output_manager.revert()`);
}
// check if this REPL contains errors, delete them and remove error classes
const errorElements = document.querySelectorAll(`div[id^='${this.errorElement.id}'][error]`);
if (errorElements.length > 0) {