Orkuncakilkaya
43d5eb5b88
Process.spawn/poll/kill/free - non-blocking child processes with no shell: posix_spawn on macOS (process.ll), CreateProcessW with MSVC-quoted arguments and no console window on Windows (process_win.ll), linked only when a program uses Process.*. Http.save_to streams a response body into a file (NSURLSession with a run-time delegate class on macOS, the WinHTTP read loop on Windows); Http.received / Http.expected report progress while it is pending. Freeing a pending request cancels it and parks the slot until the worker has finished. App.window_hide / App.window_show take the game's window off the screen and back without closing it; the run goes on while hidden. Docs, examples, tests and a changeset. Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
644 B
644 B
| id | name | category | kind | tokens | sig | tip | order | ns | member |
|---|---|---|---|---|---|---|---|---|---|
| process-kill | Process.kill | process | namespace-method | Process.kill | Process.kill(handle) -> void | End a running child. | 2 | Process | kill |
Ends the child at once — SIGKILL on macOS, TerminateProcess on Windows — with no chance for it to save anything. A later Process.poll answers 137 once it has gone. Does nothing for a child that has already ended, or a handle that is not one.
program Demo {
entry {
let h = Process.spawn("/bin/sleep", ["30"])
Process.kill(h)
}
}