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

Migrated tool version 1.0.0 from old tool shed archive to new tool shed repository
author ganjoo
date Tue, 07 Jun 2011 18:00:50 -0400
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/WebServiceToolWorkflow/refreshTool.py	Tue Jun 07 18:00:50 2011 -0400
@@ -0,0 +1,12 @@
+
+import os.path
+import sys
+
+outputfile=open(sys.argv[2],'w')
+outputfile.seek(0,0)
+outputfile.write('\n Tool added...For independent use, find the tool under Web Service Tools on the left side window, \n and for use in workflows find the tool under Web Service Workflow Tools. \n If the tool is not visible click on "Galaxy" on the top left corner of this window to refresh the page.')
+
+
+
+
+