diff options
Diffstat (limited to 'base/server/src/scriptlets')
| -rw-r--r-- | base/server/src/scriptlets/configuration.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/base/server/src/scriptlets/configuration.py b/base/server/src/scriptlets/configuration.py index 783f64907..43f8c16cd 100644 --- a/base/server/src/scriptlets/configuration.py +++ b/base/server/src/scriptlets/configuration.py @@ -99,7 +99,7 @@ class PkiScriptlet(pkiscriptlet.AbstractBasePkiScriptlet): if status == None: config.pki_log.error("server failed to restart", extra=config.PKI_INDENTATION_LEVEL_2) - sys.exit(1) + raise Exception("server failed to restart") # Optionally wait for debugger to attach (e. g. - 'eclipse'): if config.str2bool(master['pki_enable_java_debugger']): |