Fixed bug in deleteJob in BatchManager_Local

[tools/libbatch.git] / src / Local / Batch_BatchManager_Local.hxx

diff --git a/src/Local/Batch_BatchManager_Local.hxx b/src/Local/Batch_BatchManager_Local.hxx
index 085b53f4462ab5629d6610677bd09aa216a5e4a8..ec14db569bc67cc9cc7ec0aeb057c19355677489 100644 (file)
--- a/src/Local/Batch_BatchManager_Local.hxx
+++ b/src/Local/Batch_BatchManager_Local.hxx
@@ -154,7 +154,6 @@ namespace Batch {
     std::vector<std::string> exec_command(const Parametre & param) const;
 
   private:
-    virtual void cancel(pthread_t thread_id);
     static  void kill_child_on_exit(void * p_pid);
     static  void delete_on_exit(void * arg);
     static void setFailedOnCancel(void * arg);