lean4-htt/src/library/pipe.cpp
2019-11-12 08:28:58 -08:00

28 lines
523 B
C++

/*
Copyright (c) 2016 Microsoft Corporation. All rights reserved.
Released under Apache 2.0 license as described in the file LICENSE.
Author: Jared Roesch
*/
#include "runtime/exception.h"
#include "library/pipe.h"
#if !defined(LEAN_WINDOWS)
#include <unistd.h>
#endif
namespace lean {
pipe::pipe() {
#if !defined(LEAN_WINDOWS)
int fds[2];
if (::pipe(fds) == -1) {
throw exception("unable to create pipe");
} else {
m_read_fd = fds[0];
m_write_fd = fds[1];
}
#endif
}
}