// Aaron Klingaman <alk@cs.princeton.edu>
// Copyright (C) 2004 The Trustees of Princeton University
//
-// $Id$
-//
// Get admin API handle
require_once 'plc_api.php';
}
}
-if (isset($_REQUEST['root']))
- $keys[] = array('key' => file_get_contents(PLC_ROOT_SSH_KEY_PUB));
+// Thierry on July 20 2015
+// this has ceased to work ages ago with php5, as /etc/planetlab is not
+// allowed to php - which is right
+// exposing only admin's public keys is quite enough
+// which will be a relief for /var/log/php.log where this message is all over the place
+// if (isset($_REQUEST['root']))
+// $keys[] = array('key' => file_get_contents(PLC_ROOT_SSH_KEY_PUB));
if (!empty($persons)) {