Go backward to
3.3 Shared Data
Go up to
3 Programming Interface
Go forward to
3.5 Visualization
3.4 Miscellaneous
dist[delete]
: Delete a Task
dist[flush]
: Flush the Result Caches
dist[reset]
: Reset the Session
dist[abort]
: Abort the Session
dist[logging]
: Switch Logging Status
Maintainer:
Wolfgang Schreiner
Last Modification: July 6, 2001