|
|
@ -140,7 +140,7 @@ export class EditorComponent {
|
|
|
|
private client: WebSocket | undefined;
|
|
|
|
private client: WebSocket | undefined;
|
|
|
|
@Input()
|
|
|
|
@Input()
|
|
|
|
set idRoom(idRoom: string) {
|
|
|
|
set idRoom(idRoom: string) {
|
|
|
|
if( idRoom === undefined){
|
|
|
|
if (idRoom === undefined) {
|
|
|
|
return;
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
@ -170,7 +170,7 @@ export class EditorComponent {
|
|
|
|
if (msg.type === 'stdout' || msg.type === 'stderr') {
|
|
|
|
if (msg.type === 'stdout' || msg.type === 'stderr') {
|
|
|
|
this.resultContent += msg.text;
|
|
|
|
this.resultContent += msg.text;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
})
|
|
|
|
});
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
// Efface le contenu de l'éditeur
|
|
|
|
// Efface le contenu de l'éditeur
|
|
|
@ -187,10 +187,7 @@ export class EditorComponent {
|
|
|
|
// Le code à exécuter est le contenu de l'éditeur
|
|
|
|
// Le code à exécuter est le contenu de l'éditeur
|
|
|
|
const codeToExecute = this.editorContent;
|
|
|
|
const codeToExecute = this.editorContent;
|
|
|
|
|
|
|
|
|
|
|
|
this.backendService.executeCode(
|
|
|
|
this.backendService.executeCode(codeToExecute, this.selectedLanguage.name);
|
|
|
|
codeToExecute,
|
|
|
|
|
|
|
|
this.selectedLanguage.name
|
|
|
|
|
|
|
|
);
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
this.resultContent = '';
|
|
|
|
this.resultContent = '';
|
|
|
|
}
|
|
|
|
}
|
|
|
|