|
0
|
1 <tool id="WebService_REFRESH_ID" name="Step c: Add tool(s) to Galaxy" version="1.1.0">
|
|
|
2 <description> </description>
|
|
|
3 <command interpreter="python">
|
|
|
4 refreshTool.py
|
|
|
5 $input
|
|
|
6 $output
|
|
|
7 </command>
|
|
|
8 <inputs>
|
|
|
9 <param name="input" type="select" display="radio" size="250" label="Execute to ">
|
|
|
10 <option value="refresh">Add Tool</option>
|
|
|
11 </param>
|
|
|
12
|
|
|
13 </inputs>
|
|
|
14 <outputs>
|
|
|
15 <data format="tabular" name="output" />
|
|
|
16 </outputs>
|
|
|
17 <tests>
|
|
|
18 </tests>
|
|
|
19 <help>
|
|
|
20
|
|
|
21 .. class:: infomark
|
|
|
22
|
|
|
23 **TIP: After step c refresh the page.**
|
|
|
24
|
|
|
25 **Your tool(s) can now be found under Web Service Tools and Web Service Workflow Tools in the tools section on the left.**
|
|
|
26
|
|
|
27 Web Service Tools are used to invoke web services independently.
|
|
|
28 Web Service Workflow Tools can be used in creating workflows.
|
|
|
29
|
|
|
30 *NOTE: Step a, Step b and Step c merely add this tool to Galaxy. To use the tool, go to the Tools section on left
|
|
|
31 and find the tool under Select Web Service Tools and Select Web Service Workflow Tools.*
|
|
|
32 </help>
|
|
|
33 </tool>
|
|
|
34
|
