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