Return URL associated with instanceID if available, otherwise a blank string
instanceID to check
URL string or blank string depending on availability
Get a simple map of instanceID to instanceName
Get a subset of instanceMap with ToolInstances that have datasetID in history
filter instanceMap to instances with this dataset attached
map of instanceID to ToolInstance instance
Get list of valid endpoints for tool selection.
list of tools that can be selected for launch
Send request to API to launch a new tool.
is url of API server
user-provided name of Session to display
name of environment type that is being launched
clowder ID of dataset to attach
ID of session that was launched
Update instanceMap with server-side list, in case Plugin has been stopped
Update toolList from server to get list of eligible API endpoints to launch tools from.
Terminate a running tool instance.
is the endpoint to issue DELETE request to
ID of ToolInstance to stop
Upload dataset files to an existing instance.