portal_close_shell
Reset a persistent bash session on a remote host by closing the cached connection, forcing a fresh session on next use.
Instructions
Close the cached persistent bash session for (the next portal_shell call reopens a fresh one).
Rarely needed: the session is created/reused/auto-recreated implicitly by portal_shell — you don't manage its lifecycle. Use this only to reset a session whose state has gotten dirty.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| host | Yes |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| result | Yes |