PKI Server Remove CLI

Overview

The pki-server remove command can be used to remove a PKI Tomcat server or a standard 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 Standard Tomcat Server

To remove a standard Tomcat server execute the following command:

$ pki-server remove tomcat@<name>