changeset 12:1cbc71b05bda draft default tip

Uploaded
author fubar_too
date Mon, 21 Mar 2022 09:20:24 +0000
parents c7696d7c2b7e
children
files toolfactory/toolfactory.xml
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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