diff WebServiceToolWorkflow/refreshTool.xml @ 0:d5cd409b8a18 default tip

Migrated tool version 1.0.0 from old tool shed archive to new tool shed repository

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/WebServiceToolWorkflow/refreshTool.xml	Tue Jun 07 18:00:50 2011 -0400
@@ -0,0 +1,34 @@
+<tool id="REFRESH_ID" name="Step 3: Add tool to Galaxy" version="1.0.0">
+<description> Adds tool to Galaxy and refreshes toolbox.</description>
+<command interpreter="python">
+	refreshTool.py
+	$input
+	$output
+</command>
+  <inputs>
+   <param name="input" type="select" display="radio" size="250" label="Execute step 3 by clicking on Execute button">
+   <option value="refresh">Refresh Galaxy</option> 
+   </param>
+   
+  </inputs>
+  <outputs>
+     <data format="tabular" name="output" />
+  </outputs>
+  <tests>
+  </tests>
+  <help>
+**To use the newly added tool go to Tools on the left side of this screen.**
+      
+**If you want to use the tool once use the tool under Web service tool.**
+      
+**If you want to use the tool in a workflow use the tool under Web Service Workflow tool.**
+           
+**If the tool is not visible click on "Galaxy" on the top left corner of this window to refresh the page.** 
+  
+  
+NOTE: Step 3 merely refreshes Galaxy to recognize the newly added tool. After this step, your tool will be registered at two places. Choose the tool depending on the usage.
+
+
+  </help>
+</tool>
+