X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satlib.git;a=blobdiff_plain;f=inc_solver.cc;h=ebc54447f3f98854de8607065124816192c6a220;hp=24c6e88fcb13030d99cf293998fcd2395dadc210;hb=e7ff907e7c340f8dd59d47b6ec2922b854d5f5b8;hpb=13e5f2c30c1ba823c7141b2d94caa1d216c7a040;ds=sidebyside

diff --git a/inc_solver.cc b/inc_solver.cc
index 24c6e88..ebc5444 100644
--- a/inc_solver.cc
+++ b/inc_solver.cc
@@ -100,7 +100,6 @@ void IncrementalSolver::createSolver() {
         (dup2(from_pipe[1], IS_OUT_FD) == -1)) {
       fprintf(stderr, "Error duplicating pipes\n");
     }
-    setsid();
     execlp(SATSOLVER, SATSOLVER, NULL);
     fprintf(stderr, "execlp Failed\n");
   } else {
@@ -117,7 +116,7 @@ void IncrementalSolver::killSolver() {
   close(from_solver_fd);
   //Stop the solver
   if (solver_pid > 0)
-    killpg(solver_pid, SIGKILL);
+    kill(solver_pid, SIGKILL);
 }
 
 void IncrementalSolver::flushBuffer() {