PKI Server Remove CLI

Overview

The pki-server remove command provides a mechanism to remove a PKI Tomcat server or regular Tomcat server.

Removing PKI Tomcat Server

To remove a PKI Tomcat server execute the following command:

$ pki-server remove pki-tomcatd@<name>

or simply:

$ pki-server remove <name>

Removing Regular Tomcat Server

To remove a regular Tomcat server execute the following command:

$ pki-server remove tomcat@<name>