...
...
...
...
...
...
...
...
This brings up username and password fields and a login button.
Note that:
- The plugin manager shares its cookie with the main GUI, the file uploader, the source builder, and the person manager - logging into any of them will log into all of them.
Uploading a new plugin
The above figure shows the tool shortly after log-in.
...
...
- If you are not logged-in with admin privileges you will only be able to edit your own files, though you will still be able to share files with any communities of which you are a member - this is different to both source management and widget uploading, where you must be a community moderator/owner.
...
...
...
...
...
Note: If you set append results to false, there is no need to set an age out.
Note: If you don't want your job to depend on another jobs completion, do not select any job depenencies (you can CTRL-click to remove selected options if necessary).
Editing existing plugins
...
...
...
Once a file has been chosen, it can be modified by changing the fields (and/or choosing a different file), and then selecting the "Submit" button.
Deleting files
Log in and choose a file as above, then select the "Delete" button.
Running an existing job
...
...
...
...
Panel |
---|
Related Reference Documentation: |
Panel |
---|
Related Developer Documentation: |