RunPipeServer header

run_pipe_server.h

#ifndef RUN_PIPE_SERVER_H
#define RUN_PIPE_SERVER_H

#include <stdint.h>

#ifndef REQUEST_BUFFER_SIZE
#define REQUEST_BUFFER_SIZE (1024*1024*128)
#endif

#ifndef RESPONSE_BUFFER_SIZE
#define RESPONSE_BUFFER_SIZE (1024)
#endif

typedef uint8_t  u1;
typedef uint16_t u2;
typedef uint32_t u4;
typedef uint64_t u8;
typedef int8_t   s1;
typedef int16_t  s2;
typedef int32_t  s4;
typedef int64_t  s8;

typedef s4 b4;

typedef const char *String;
typedef void *Pipe;

typedef void (*ClientRequestProcessor)(
  u1 *request_buffer, u4 num_request_bytes,
  u1 *response_buffer, u4 *num_bytes_written); 

b4 RunPipeServer(String pipe_filename, ClientRequestProcessor); 

#endif