Original bug ID: 2187
Reporter: administrator
Assigned to: @xclerc
Status: resolved (set by @damiendoligez on 2015-03-13T19:31:40Z)
Resolution: suspended
Priority: high
Severity: minor
Target version: 4.03.0+dev / +beta1
Fixed in version: 4.03.0+dev / +beta1
Category: ~DO NOT USE (was: OCaml general)
Tags: patch

Bug description

On Sat, Feb 07, 2004 at 09:46:25AM +0100, Stefano Zacchiroli wrote:

On Fri, Feb 06, 2004 at 11:30:47AM -0800, Issac Trotts wrote:

Thanks for making wowcamldebug available. I wonder if you know how to
get around this problem:

Unfortunately no. I'm aware of the problem but last time I tried to
track it down it seemed to me that it was not deterministic. Are you
experiencing a reproducible behaviour?

Yes I think so.

I believe the problem is actually with ocamldebug. The error message

Lost connection with process -1 (active process)
between time 0 and time 10000

comes from the function Time_travel.forget_process. Here's my fix,
though I don't understand ocamldebug well enough to be sure that it's
really correct:

(* in debugger/main.ml *)

let rec protect ppf loop =
try
loop ppf
with
| End_of_file ->
(* This is hosed.
protect ppf (function ppf ->
forget_process
!current_checkpoint.c_fd
!current_checkpoint.c_pid;
pp_print_flush ppf ();
stop_user_input ();
loop ppf)
)
exit 0 ( This is basically what I want it to do. *)

Otherwise it just loops forever and you can't control-C or control-Z to
make it stop.

Cheers,
Issac

--
Issac Trotts
http://redwood.ucdavis.edu/~issac