# HG changeset patch # User fubar # Date 1605334594 0 # Node ID eea262faed9c871d5c3562a9f597e482d00a262d # Parent f4ee2bcc3fd6611e6873d7708abb60dd179b954f Uploaded diff -r f4ee2bcc3fd6 -r eea262faed9c toolfactory/rgToolFactory2.xml --- 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