get_gpg_key.php

   1 <?php
   2 //
   3 // Exports the GPG public key for this PLC
   4 //
   5 // Mark Huang <mlhuang@cs.princeton.edu>
   6 // Copyright (C) 2006 The Trustees of Princeton University
   7 //
   8 // $Id$
   9 //
  10
  11 include 'plc_config.php';
  12
  13 echo shell_exec("gpg --homedir=/tmp --export --armor" .
  14                 " --no-default-keyring" .
  15                 " --keyring " . PLC_ROOT_GPG_KEY_PUB);
  16
  17 ?>