[m-dev.] for review: saving the debugger's state

[Ralph Becket]

> From: Zoltan Somogyi [mailto:zs at cs.mu.OZ.AU]
> 
> For review by anyone.
> 
> Make it possible to save the state of a debugger session wrt 
> break points
> and aliases in a file that can be sourced in another debugger 
> session to
> restore the state.
> 
> trace/mercury_trace_internal.c:
> 	Add a new mdb command, "save <filename>", to save mdb's 
> state to the
> 	named file.

This is good.  Would it be possible to add a setting to give
a default filename?  For example, if one just wanted to overwrite
one's local .mdbrc, one could just have

set savefile .mdbrc

in ~/.mdbrc and just do `save' in the middle of a session.

Ralph

--
Ralph Becket      |      MSR Cambridge      |      rbeck at microsoft.com 
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------