diff options
| -rwxr-xr-x | install/tools/ipa-replica-manage | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/install/tools/ipa-replica-manage b/install/tools/ipa-replica-manage index b9998da44..2de6fd799 100755 --- a/install/tools/ipa-replica-manage +++ b/install/tools/ipa-replica-manage @@ -740,7 +740,13 @@ def del_master_managed(realm, hostname, options): try: api.Command.server_del(hostname_u) except errors.NotFound: - print("Server entry already deleted: %s" % (hostname)) + if not options.cleanup: + print("{hostname} does not exist.".format(hostname=hostname)) + print("Please specify an actual server or add the --cleanup " + "option to force clean up.") + sys.exit(1) + else: + print("Server entry already deleted: %s" % (hostname)) # 6. Cleanup try: |