call code iff user is logged in
call code iff user is logged in
Disable a route without having to comment out the entry in the routes file.
Disable a route without having to comment out the entry in the routes file. Useful for when we want to keep the code around but we don't want users to have access to it.
call code if user has right permission for resource
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.
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
call code if user is a server admin
get user if logged in
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
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
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.
Upload a dataset to an existing tool instance. Does not check for or prevent against duplication.
A dataset is a collection of files and streams.