diff options
Diffstat (limited to 'policy-management')
| -rw-r--r-- | policy-management/src/main/server-gen/bin/policy-management-controller | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/policy-management/src/main/server-gen/bin/policy-management-controller b/policy-management/src/main/server-gen/bin/policy-management-controller index fe6fe20a..389f7d2e 100644 --- a/policy-management/src/main/server-gen/bin/policy-management-controller +++ b/policy-management/src/main/server-gen/bin/policy-management-controller @@ -31,7 +31,7 @@ function start() { update_monitor off else update_monitor on - fi + fi } # unmonitored start, does not change monitor status (immutable) @@ -165,7 +165,7 @@ function update_monitor() { if [[ -f ${POLICY_HOME}/etc/monitor/monitor.cfg ]]; then /bin/sed -i.bak \ -e "s/^${CONTROLLER}=.*/${CONTROLLER}=${STATUS}/g" \ - ${POLICY_HOME}/etc/monitor/monitor.cfg + ${POLICY_HOME}/etc/monitor/monitor.cfg fi } |