mirror of https://github.com/CGAL/cgal
Revert revision 49099: I had not well understood what was a processes group
at that time.
This commit is contained in:
parent
640f56604e
commit
c8dc429a8f
|
|
@ -71,7 +71,7 @@ wait_for_process()
|
||||||
kill -HUP $pid
|
kill -HUP $pid
|
||||||
sleep 10
|
sleep 10
|
||||||
# If SIGHUP was not enough, SIGKILL will finish the job, 10s after.
|
# If SIGHUP was not enough, SIGKILL will finish the job, 10s after.
|
||||||
kill -KILL -$pid
|
kill -KILL $pid
|
||||||
fi
|
fi
|
||||||
return 1
|
return 1
|
||||||
fi
|
fi
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue