Skip to content

Commit

Permalink
Restaurer l'evenement quand on supprime un point d'arret...
Browse files Browse the repository at this point in the history
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1430 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  • Loading branch information
vouillon committed Mar 21, 1997
1 parent 3e906cc commit 9f7f455
Showing 1 changed file with 6 additions and 5 deletions.
11 changes: 6 additions & 5 deletions debugger/breakpoints.ml
Expand Up @@ -21,7 +21,7 @@ open Checkpoints
open Source

(*** Debugging. ***)
let debug_breakpoints = ref true
let debug_breakpoints = ref false

(*** Data. ***)

Expand Down Expand Up @@ -76,7 +76,8 @@ let remove_breakpoints pos =
print_int pos;
print_newline()
end;
reset_instr pos)
reset_instr pos;
set_event pos)
pos

(* Set all breakpoints. *)
Expand Down Expand Up @@ -141,7 +142,7 @@ let remove_position pos =
positions := assoc_remove !positions pos;
new_version ();
reset_instr pos;
()
set_event pos
end

(* Insert a new breakpoint in lists. *)
Expand Down Expand Up @@ -197,8 +198,8 @@ let exec_with_temporary_breakpoint pc funct =
if !count = 0 then begin
positions := assoc_remove !positions pc;
reset_instr pc;
()
end
try Symbols.event_at_pc pc; set_event pc with Not_found -> ()
end

in
Exec.protected (function () -> insert_position pc);
Expand Down

0 comments on commit 9f7f455

Please sign in to comment.