call code iff user is logged in
Disable a route without having to comment out the entry in the routes file.
call code if user has right permission for resource
Use when you want to require the user to be logged in on a private server or the server is public.
call code if user is a server admin
get user if logged in
Get remote URL of running instance, if available.
Get full list of running instances from Plugin.
Fetch list of launchable tools from Plugin.
Return user based on request object
Send request to ToolManagerPlugin to launch a new tool instance and upload datasetID.
Construct the sidebar listing active tools relevant to the given datasetId
UUID of dataset that is currently displayed
Send request to server to destroy instance, and remove from Plugin.
With permission, prepare Tool Manager page with list of currently running tool instances.
Upload a dataset to an existing tool instance.