diff options
Diffstat (limited to 'base/deploy/src/scriptlets')
| -rw-r--r-- | base/deploy/src/scriptlets/webapp_deployment.py | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/base/deploy/src/scriptlets/webapp_deployment.py b/base/deploy/src/scriptlets/webapp_deployment.py index 958d5e271..4948babbb 100644 --- a/base/deploy/src/scriptlets/webapp_deployment.py +++ b/base/deploy/src/scriptlets/webapp_deployment.py @@ -57,15 +57,15 @@ class PkiScriptlet(pkiscriptlet.AbstractBasePkiScriptlet): master['pki_tomcat_webapps_root_path'], overwrite_flag=True) - # Copy /usr/share/pki/common-ui + # If desired and available, + # copy selected server theme # to <instance>/webapps/pki - util.directory.create(master['pki_tomcat_webapps_common_path']) - util.directory.copy( - os.path.join( - config.PKI_DEPLOYMENT_SOURCE_ROOT, - "common-ui"), - master['pki_tomcat_webapps_common_path'], - overwrite_flag=True) + if config.str2bool(master['pki_theme_enable']) and\ + os.path.exists(master['pki_theme_server_dir']): + util.directory.create(master['pki_tomcat_webapps_common_path']) + util.directory.copy(master['pki_theme_server_dir'], + master['pki_tomcat_webapps_common_path'], + overwrite_flag=True) # Copy /usr/share/pki/server/webapps/pki/js # to <instance>/webapps/pki/js |
