Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0002187OCamlOCaml generalpublic2004-02-07 15:402014-09-18 13:31
Reporteradministrator 
Assigned Toxclerc 
PriorityhighSeverityminorReproducibilityalways
StatusassignedResolutionopen 
PlatformOSOS Version
Product Version 
Target Versionafter-4.02.1Fixed in Version 
Summary0002187: Re: wowcamldebug exit issue
DescriptionOn 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 [^]


Tagspatch
Attached Files

- Relationships

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2005-11-18 10:14 administrator New Issue
2008-01-18 16:07 doligez Status acknowledged => assigned
2008-01-18 16:07 doligez Assigned To => doligez
2010-05-20 16:12 doligez Assigned To doligez => xclerc
2012-07-11 17:37 doligez Target Version => 4.01.0+dev
2012-07-11 17:37 doligez Description Updated View Revisions
2012-07-31 13:37 doligez Target Version 4.01.0+dev => 4.00.1+dev
2012-09-19 11:43 doligez Target Version 4.00.1+dev => 4.00.2+dev
2012-09-19 11:43 doligez Priority normal => high
2013-07-02 14:37 doligez Target Version 4.00.2+dev => 4.01.0+dev
2013-07-18 17:13 doligez Target Version 4.01.0+dev => 4.01.1+dev
2013-08-30 23:23 doligez Tag Attached: patch
2014-05-25 20:20 doligez Target Version 4.01.1+dev => 4.02.0+dev
2014-08-18 20:42 doligez Target Version 4.02.0+dev => 4.02.1+dev
2014-09-04 00:25 doligez Target Version 4.02.1+dev => undecided
2014-09-18 13:31 doligez Target Version undecided => after-4.02.1


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker