gitoriaLog in with ident

antcolony

All repositories: gitoria

ReadmeCodePull requestsReleasesTicketsSettings
Main branchmain3a4d0324antcolony#37: a too-long report gets up to 3 fix tries, finished work is never thrown away for lengthmremain/plugins/proc/process.hl

1.6 KB

  1. // process.hl → class Process — one child, its lifetime, its events. The
  2. // eventloop wiring lives HERE so app code never sees it: the events source is
  3. // registered AT this instance, the internal fan-out re-emits `line` and
  4. // `exit` at itself, and `on process.line` / `on process.exit` in the app are
  5. // ordinary instance-scoped handlers.
  6. Number pid = 0
  7. Boolean running = false
  8. Number #srcId = 0
  9. start(String cmd) {
  10. // THE STRING GOES OVER WHOLE (mission 249). `hl_proc_spawn` branches on
  11. // the argument's type and its string branch is the tokenizer server.hl
  12. // documents: whitespace RUNS (spaces, tabs, newlines — a command written
  13. // across lines is one command) and quote GROUPING. Splitting here on " "
  14. // and handing the pieces to the LIST branch is what kept that code
  15. // unreached, and put a tab or a newline inside argv[0].
  16. return this.launch(cmd)
  17. }
  18. startArgs(args) {
  19. return this.launch(args)
  20. }
  21. // The one spawn: `spec` is the command STRING or the argv LIST, and which
  22. // one it is decides the branch inside `hl_proc_spawn`, never anything here.
  23. launch(spec) {
  24. let spawned = __native("proc.spawn", spec)
  25. pid = spawned.pid
  26. running = true
  27. #srcId = __native("eventloop.register", spawned.events, "__procEvent")
  28. return this
  29. }
  30. on __procEvent(ev) {
  31. if (ev.exit != null) {
  32. running = false
  33. // A FINISHED CHILD RETIRES ITS SOURCE (server.hl: "a program whose
  34. // children are done simply ends"). Without this the loop still holds
  35. // a source that will never speak again and the program never returns.
  36. __native("eventloop.unregister", #srcId)
  37. emit exit(ev)
  38. return null
  39. }
  40. emit line(ev)
  41. return null
  42. }
  43. kill() {
  44. if (running == false) {
  45. return false
  46. }
  47. return __native("proc.kill", pid)
  48. }

Branches

Latest commits

  • 3a4d0324antcolony#37: a too-long report gets up to 3 fix tries, finished work is never thrown away for lengthmre
  • a6af7883tracker: worker box sees calendar.worldapi.org (login to copy)mre
  • c613d26btemplates: bridges to external components (login.js for ident's selector) are allowed (creator 2026-09-27)mre
  • 9062978ctracker: worker box sees /media/STORAGE/projects/old-tracker read-only (tracker#2 source data)mre
  • 7f9660eeState of 2026-09-27, before the move to gitoriamre