# # # patch "automate.ml" # from [08f480fa23943d31385ca5b0354241c6f2736a9d] # to [bc697ff6c3768259b1838e5638552f448433b53a] # ============================================================ --- automate.ml 08f480fa23943d31385ca5b0354241c6f2736a9d +++ automate.ml bc697ff6c3768259b1838e5638552f448433b53a @@ -426,7 +426,8 @@ let exit_cb ctrl p r stderr = (* display dialog box in case of error ... *) match ctrl.process with | Some p' when p' == p -> - ctrl.process <- None + ctrl.process <- None ; + List.iter (fun (_, cb) -> cb (`ERROR stderr)) p.callbacks | _ -> ()