bug fixe
authorroot <root@plrg-1.ics.uci.edu>
Fri, 15 Nov 2019 08:25:47 +0000 (00:25 -0800)
committerroot <root@plrg-1.ics.uci.edu>
Fri, 15 Nov 2019 08:25:47 +0000 (00:25 -0800)
pipe.cc

diff --git a/pipe.cc b/pipe.cc
index 37bb0dc..b915c79 100644 (file)
--- a/pipe.cc
+++ b/pipe.cc
@@ -1,7 +1,9 @@
 #include "common.h"
 #include <unistd.h>
 #include "model.h"
 #include "common.h"
 #include <unistd.h>
 #include "model.h"
+#include "snapshot-interface.h"
 #include <dlfcn.h>
 #include <dlfcn.h>
+#include <errno.h>
 
 static int (*pipe_init_p)(int filep[2]) = NULL;
 
 
 static int (*pipe_init_p)(int filep[2]) = NULL;
 
@@ -12,11 +14,12 @@ int pipe(int fildes[2]) {
     model->startChecker();
   }
   if (!pipe_init_p) {
     model->startChecker();
   }
   if (!pipe_init_p) {
-    pipe_init_p = (int (*)(int file[2])) dlsym(RTLD_NEXT, "pipe");
-    if ((error = dlerror()) != NULL) {
+    pipe_init_p = (int (*)(int fildes[2])) dlsym(RTLD_NEXT, "pipe");
+    char *error = dlerror();
+    if (error != NULL) {
       fputs(error, stderr);
       exit(EXIT_FAILURE);
     }
   }
       fputs(error, stderr);
       exit(EXIT_FAILURE);
     }
   }
-  pipe_init_p(filedes);
+  return pipe_init_p(fildes);
 }
 }