restart_launch
Restarts a running launch session by stopping it and starting a new one with the same launch file and parameters, using the provided session ID.
Instructions
Restart a launch session (stop and start with same config).
Creates a new session with the same launch file and parameters.
Args: session_id: Session ID to restart
Returns: Status with old and new session IDs
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| session_id | Yes | Session ID to restart |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||