3 // Exports the GPG public key for this PLC
5 // Mark Huang <mlhuang@cs.princeton.edu>
6 // Copyright (C) 2006 The Trustees of Princeton University
8 // $Id: get_gpg_key.php,v 1.1 2006/05/08 18:53:30 mlhuang Exp $
11 include 'plc_config.php';
13 echo shell_exec("gpg --homedir=/tmp --export --armor" .
14 " --no-default-keyring" .
15 " --keyring " . PLC_ROOT_GPG_KEY_PUB);