tomasalias/AstralRinth
1
0
Fork 0
forked from didirus/AstralRinth
Code Pull Requests Activity

Child process manager api (#64)

Browse Source 
* child process api

* added hook to js

* process API + restructured process state storage

* formatting

* added path-pid check and fixed probs

* prettier

* added profile checking function

---------

Co-authored-by: Wyatt <wyatt@modrinth.com>
This commit is contained in:
Wyatt Verchere
2023-04-05 10:07:59 -07:00
committed by GitHub
parent 8169d3ad49
commit d5505d3298
14 changed files with 574 additions and 97 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
theseus_gui/src/helpers/profile.js
View File

@@ -66,13 +66,3 @@ export async function run(path, credentials) {
export async function run_wait(path, credentials) {
return await invoke('profile_run_wait', { path, credentials })
}
// Tries to kill a running minecraft process (if PID is still stored)
export async function kill(child_pid) {
return await invoke('profile_kill', { child_pid })
}
// Wait for a running minecraft process (a Child)
export async function wait_for(child_pid) {
return await invoke('profile_wait_for', { child_pid })
}