commit bc62bd51eb736182a3d4f81b13295d2621efe98e
parent d495beb5ae5037e0dec0a76da3718bb7ab300fe8
Author: Sebastian <sebastian@sebsite.pw>
Date: Thu, 21 Apr 2022 15:53:37 -0400
exec: fix documentation for pipe
Signed-off-by: Sebastian <sebastian@sebsite.pw>
Diffstat:
2 files changed, 4 insertions(+), 4 deletions(-)
diff --git a/os/exec/exec+freebsd.ha b/os/exec/exec+freebsd.ha
@@ -35,12 +35,12 @@ export fn fork() (int | void | error) = {
//
// let pipe = exec::pipe();
// exec::addfile(&cmd, pipe.1, os::stdout_file);
-// exec::start(&cmd)!;
+// let proc = exec::start(&cmd)!;
// io::close(pipe.1);
//
// let data = io::drain(pipe.0)!;
// io::close(pipe.0);
-// exec::wait(&cmd)!;
+// exec::wait(&proc)!;
export fn pipe() (io::file, io::file) = {
return unix::pipe()!;
};
diff --git a/os/exec/exec+linux.ha b/os/exec/exec+linux.ha
@@ -35,12 +35,12 @@ export fn fork() (int | void | error) = {
//
// let pipe = exec::pipe();
// exec::addfile(&cmd, pipe.1, os::stdout_file);
-// exec::start(&cmd)!;
+// let proc = exec::start(&cmd)!;
// io::close(pipe.1);
//
// let data = io::drain(pipe.0)!;
// io::close(pipe.0);
-// exec::wait(&cmd)!;
+// exec::wait(&proc)!;
export fn pipe() (io::file, io::file) = {
return unix::pipe()!;
};