aboutsummaryrefslogtreecommitdiff
path: root/build/process
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2015-06-18 11:37:25 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2015-06-18 11:37:25 +0200
commit89ea9c8401d9e1b79977c6556b81b2eb4159ef59 (patch)
tree15e5e4114c08fc39d75ba9da088177c159cac06e /build/process
parent33ef0312f43646ab3dd9ff95430d70d24bc1d701 (diff)
Move process from build2 to libbutl
Diffstat (limited to 'build/process')
-rw-r--r--build/process67
1 files changed, 0 insertions, 67 deletions
diff --git a/build/process b/build/process
deleted file mode 100644
index 0e1a8c9..0000000
--- a/build/process
+++ /dev/null
@@ -1,67 +0,0 @@
-// file : build/process -*- C++ -*-
-// copyright : Copyright (c) 2014-2015 Code Synthesis Ltd
-// license : MIT; see accompanying LICENSE file
-
-#ifndef BUILD_PROCESS
-#define BUILD_PROCESS
-
-#ifndef _WIN32
-# include <sys/types.h> // pid_t
-#endif
-
-#include <cassert>
-#include <system_error>
-
-namespace build
-{
-
- struct process_error: std::system_error
- {
- process_error (int e, bool child)
- : system_error (e, std::system_category ()), child_ (child) {}
-
- bool
- child () const {return child_;}
-
- private:
- bool child_;
- };
-
- struct process
- {
- // Start another process using the specified command line. Connect the
- // newly created process' stdin to out_fd. Also if connect_* are true,
- // connect the created process' stdout and stderr to in_*fd. Throw
- // process_error if anything goes wrong.
- //
- // Note that some of the exceptions (e.g., if exec() failed) can be
- // thrown in the child version of us.
- //
- process (char const* args[],
- bool connect_stdin = false,
- bool connect_stderr = false,
- bool connect_stdout = false);
-
- // Wait for the process to terminate. Return true if the process
- // terminated normally and with the zero exit status. Throw
- // process_error if anything goes wrong.
- //
- bool
- wait ();
-
- ~process () {assert (id == 0);}
-
-#ifndef _WIN32
- typedef pid_t id_type;
-#else
- typedef void* id_type; // Win32 HANDLE.
-#endif
-
- id_type id;
- int out_fd; // Write to this fd to send to the new process' stdin.
- int in_efd; // Read from this fd to receive from the new process' stderr.
- int in_ofd; // Read from this fd to receive from the new process' stdout.
- };
-}
-
-#endif // BUILD_PROCESS