diff toolfactory/rgToolFactory2.xml @ 71:eea262faed9c draft

Uploaded
author fubar
date Sat, 14 Nov 2020 06:16:34 +0000
parents f4ee2bcc3fd6
children a8764cda9dbf
line wrap: on
line diff
--- a/toolfactory/rgToolFactory2.xml	Fri Nov 13 22:04:28 2020 +0000
+++ b/toolfactory/rgToolFactory2.xml	Sat Nov 14 06:16:34 2020 +0000
@@ -142,9 +142,9 @@
 #import os
 #set dev_env = os.environ.get('GALAXY_DEVELOPMENT_ENVIRONMENT', '0') == '1'
 #if not $dev_env and ( $__user_email__ not in $__admin_users__ ):
-python3 $__tool_directory__/rgToolFactory2.py --bad_user $__user_email__
+rgToolFactory2.py --bad_user $__user_email__
  #else:
-python3 $__tool_directory__/rgToolFactory2.py
+rgToolFactory2.py
     #if len(str($cl_prefix)) > 3:
 --cl_prefix "$cl_prefix"
     #end if