# HG changeset patch
# User fubar_too
# Date 1647854424 0
# Node ID 1cbc71b05bdac2aec2c4fded909d4387a555d5c0
# Parent  c7696d7c2b7ebcb68ae4e9918408ac00be467257
Uploaded

diff -r c7696d7c2b7e -r 1cbc71b05bda toolfactory/toolfactory.xml
--- a/toolfactory/toolfactory.xml	Mon Mar 21 09:17:36 2022 +0000
+++ b/toolfactory/toolfactory.xml	Mon Mar 21 09:20:24 2022 +0000
@@ -196,7 +196,7 @@
 #if not $dev_env and ( $__user_email__ not in $__admin_users__ ):
 python3 $__tool_directory__/rgToolFactory2.py --bad_user $__user_email__
  #else:
-python3 $__tool_directory__/ToolFactory.py
+python3 $__tool_directory__/toolfactory.py
     #if len(str($cl_suffix)) > 0:
 --cl_user_suffix "$cl_suffix"
     #end if