int 
ijs_exec_server(const char *server_cmd, int *pfd_to, int *pfd_from, 
    int *pchild_pid)
{
  int fds_to[2], fds_from[2];
  int child_pid;
 
  if (pipe (fds_to) < 0)
    return -1;
  if (pipe (fds_from) < 0)
    {
      close (fds_to[0]);
      close (fds_to[1]);
      return -1;
    }
 
  child_pid = vfork ();
  if (child_pid < 0)
    {
      close (fds_to[0]);
      close (fds_to[1]);
      close (fds_from[0]);
      close (fds_from[1]);
      return -1;
    }
  if (child_pid == 0)
    {
      int status;
      char *argv[8];
      int i = 0;
 
      close (fds_to[1]);
      close (fds_from[0]);
 
      dup2 (fds_to[0], STDIN_FILENO);
      dup2 (fds_from[1], STDOUT_FILENO);
#define noGDB
#ifdef GDB
      argv[i++] = "gdb";
#endif
 
      argv[i++] = "sh";
      argv[i++] = "-c";
 
      argv[i++] = (char *)server_cmd;
      argv[i++] = NULL;
      status = execvp (argv[0], argv);
      if (status < 0)
	exit (1);
    }