added kill() for PartialExec

mrw/exec.cpp

@@ -9,6 +9,9 @@
     @license LGPL, see file <a href="license.html">COPYING</a>
 
     $Log$
+    Revision 1.12  2005/04/20 18:12:55  marc
+    added kill() for PartialExec
+
     Revision 1.11  2005/04/19 18:48:00  marc
     new feature PartialExec
 
@@ -535,3 +538,9 @@ mrw::PartialExec& mrw::PartialExec::terminate() throw() {
   kill(_pid, SIGTERM);
   return *this;
 }
+
+//------------------------------------------------------------------------------
+mrw::PartialExec& mrw::PartialExec::kill() throw() {
+  kill(_pid, SIGKILL);
+  return *this;
+}

mrw/exec.hpp

@@ -9,6 +9,9 @@
     @license LGPL, see file <a href="license.html">COPYING</a>
 
     $Log$
+    Revision 1.7  2005/04/20 18:12:55  marc
+    added kill() for PartialExec
+
     Revision 1.6  2005/04/19 18:48:00  marc
     new feature PartialExec
 
@@ -414,6 +417,9 @@ while (!exec.finished()) res+=exec.read().first;
       /// Terminates a running job by sending @c SIGTERM to the child process.
       PartialExec& terminate() throw();
 
+      /// Kills a running job by sending @c SIGKILL to the child process.
+      PartialExec& kill() throw();
+
       //................................................................ methods
     private: