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
9 include 'plc_config.php';
11 echo shell_exec("gpg --homedir=/tmp --export --armor" .
12 " --no-default-keyring" .
13 " --keyring " . PLC_ROOT_GPG_KEY_PUB);