Skip to content

PKI Server Run CLI

Endi S. Dewata edited this page Oct 22, 2021 · 3 revisions

Overview

The pki-server run command can be used to run a PKI Tomcat server or a standard Tomcat server in the foreground.

Running Server

To run the server execute the following command:

$ pki-server run <name>

Running Server with JDB

To run the server with JDB execute the following command:

$ pki-server run <name> --with-jdb

Running Server with GDB

To run the server with GDB execute the following command:

$ pki-server run <name> --with-gdb

Running Server with Valgrind

To run the server with Valgrind execute the following command:

$ pki-server run <name> --with-valgrind
Clone this wiki locally