github_mirrors/puter
1
0
Fork 0
mirror of https://github.com/HeyPuter/puter.git synced 2025-02-02 14:18:43 +08:00
Code Issues Packages Projects Releases Wiki Activity

dev: push exec submission updates to client

Browse Source
This commit is contained in:
KernelDeimos 2025-01-28 13:41:26 -05:00
parent 4005e9667c
commit c852a287e8
1 changed files with 21 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
src/backend/src/services/WSPushService.js
View File

@ -36,6 +36,8 @@ class WSPushService extends BaseService {
this._on_upload_progress.bind(this));
this.svc_event.on('fs.storage.progress.*',
this._on_upload_progress.bind(this));
this.svc_event.on('puter-exec.submission.done',
this._on_submission_done.bind(this));
this.svc_event.on('outer.gui.*',
this._on_outer_gui.bind(this));
}
@ -271,7 +273,25 @@ class WSPushService extends BaseService {
});
})
}
async _on_submission_done (key, data) {
const { actor } = data;
const { id, output, summary, measures, aux_outputs } = data;
const user_id = actor.type.user.id;
const response = {
id,
output,
summary,
measures,
aux_outputs,
};
this.svc_event.emit('outer.gui.submission.done', {
user_id_list: [ user_id ],
response,
});
}
/**
* Handles the 'outer.gui.*' event to emit GUI-related updates to specific users.