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
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);