| Previous changeset 70:f4ee2bcc3fd6 (2020-11-13) Next changeset 72:a8764cda9dbf (2020-11-14) |
|
Commit message:
Uploaded |
|
modified:
toolfactory/rgToolFactory2.xml |
| b |
| 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 |
| b |
| @@ -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 |