PPX server's runtime database function

ppxShowDB sends the contents of the PPX runtime connection database to a file.