restore session

From DavinciWiki
Jump to: navigation, search

Description

Although we of the Davinci development team try our hardest to avoid mistakes that lead to segmentation faults, core dumps and all things that dropkick users out of a session of Davinci and onto the command prompt, we haven't caught them all. This function, inefficient and clunky as it may be, provides some relief to the user community. When the user finds himself unceremoniously dumped, he need only open up Davinci again, type restore_session() and davinci will (except in cases of gui instructions) work it's way back to where the user was one command before explosion.

New in 1.08. Now tries the user's home directory "~/.dvlog" first, then the current directory ".dvlog", then a directory specified by the user by the "path" argument.

Arguments and Return Values

Arguments: none

Return Value: Hopefully everything that the user had in memory before catastrophe struck.

Usage

Syntax: restore_session([path=STRING][,verbose=BOOL])

Examples

Segmentation Fault

[user@computer]$ davinci
dv> restore_session()

(wait some reasonable amount of time)

DavinciWiki Mini-Nav Bar

Contents


Contact Developers

  • davinci-dev [AT] mars.asu.edu

All other topics

  • See navigation on the left

Major Sub-Functions

Related Functions

Recent Library Changes

Created On: 12-03-2008
Modified On: 06-25-2009

Personal tools