stop_session
Terminate a session created by start_session: kills all its programs, deletes the scratch directory, and reports peak memory and CPU time.
Instructions
Stop a session start_session made, when you're done with it: every program in it is killed, unsaved work and all, and its scratch directory is deleted, with any clip record_video saved there (one saved at a path is kept). In a session started with usage, the answer says its programs' peak memory and CPU time. You needn't stop sessions before the server ends: they all stop with it.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| session | Yes | Its name, from start_session |