src/HOL/Tools/res_atp.ML
changeset 17773 a7258e1020b7
parent 17772 818cec5f82a4
child 17775 2679ba74411f
     1.1 --- a/src/HOL/Tools/res_atp.ML	Thu Oct 06 10:14:22 2005 +0200
     1.2 +++ b/src/HOL/Tools/res_atp.ML	Fri Oct 07 11:29:24 2005 +0200
     1.3 @@ -176,17 +176,11 @@
     1.4    if Thm.no_prems th then ()
     1.5    else
     1.6      let
     1.7 -      fun reap s = (*Signal handler to tidy away dead processes*)
     1.8 -	   (case Posix.Process.waitpid_nh(Posix.Process.W_ANY_CHILD, []) of
     1.9 -		SOME _ => reap s | NONE => ()) 
    1.10 -           handle OS.SysErr _ => ()
    1.11 -      val _ = 
    1.12 -	      IsaSignal.signal (IsaSignal.chld, IsaSignal.SIG_HANDLE reap)
    1.13        val _ = (case !last_watcher_pid of NONE => ()
    1.14                 | SOME (_, childout, pid, files) => 
    1.15                    (debug ("Killing old watcher, pid = " ^ 
    1.16                            Int.toString (ResLib.intOfPid pid));
    1.17 -                   Watcher.killWatcher pid;
    1.18 +                   Watcher.killWatcher pid;  
    1.19                     ignore (map (try OS.FileSys.remove) files)))
    1.20                handle OS.SysErr _ => debug "Attempt to kill watcher failed";
    1.21        val (files,clause_arr) = write_problem_files prob_pathname (ctxt,th)