Type:
sync: () -> ()
Call syntax:
sync()
Description:
sync updates the persistent workspace file by saving
the contents of the current workspace.
Attention!
The SALIERI workspace is persistent, i.e., when a new session
is started, it continues with the workspace contents as it was
automatically saved at the end of the last session.
However, when SALIERI is terminated abnormally, this mechanism
doesn't work.
To minimze the amount of data lost in case of an abnormal termination, sync should be called regularly when working with SALIERI. In this case, when beginning a new session after an abnormal termination, the last workspace contents as saved by sync will be restored automatically.
Example:
> sync()
Saving workspace to salieri.wsp ... Done