The hardware and bandwidth for this mirror is donated by METANET, the Webhosting and Full Service-Cloud Provider.
If you wish to report a bug, or if you are interested in having us mirror your free-software or open-source project, please feel free to contact us at mirror[@]metanet.ch.

dvi2bitmap  dvi2bitmap1.0
PipeStream.h
Go to the documentation of this file.
1 /* This file is part of dvi2bitmap; see README for copyrights and licence */
2 
3 #ifndef PIPE_STREAM_HEADER_READ
4 #define PIPE_STREAM_HEADER_READ 1
5 
6 #include <InputByteStream.h>
7 #include <sys/types.h>
8 
16 class PipeStream : public InputByteStream {
17  public:
18  PipeStream (string cmd, string envs="")
19  throw (InputByteStreamError);
20  ~PipeStream();
21  string getResult(bool allOfFile=false, bool gobbleRest=true)
22  throw (InputByteStreamError);
23  virtual void close(void);
24  int getTerminationStatus(void);
31  pid_t getPid(void) const { return pid_; };
32  private:
33  int pipe_status_;
34  pid_t pid_;
35 #ifdef WIN32
36  FILE *fp_;
37 #endif // WIN32
38  const string orig_command_;
39 };
40 
41 #endif /* PIPE_STREAM_HEADER_READ */

These binaries (installable software) and packages are in development.
They may not be fully stable and should be used with caution. We make no claims about them.