// $Id$
//
-//error_reporting(0);
-
require_once 'plc_config.php';
require_once 'plc_session.php';
require_once 'plc_functions.php';
');
-//error_reporting(0);
-
// --------------------
// recognized URL arguments
$peerscope = get_array($_GET, 'peerscope');
<link href="/planetlab/css/my_slice.css" rel="stylesheet" type="text/css" />
');
-// -------------------- admins potentially need to get full list of users
-//error_reporting(0);
$profiling=false;
if ($get_array($_GET, 'profiling')) $profiling=true;