planetlab/peers/index.php

   1 <?php
   2
   3 // $Id: index.php 11603 2009-01-19 16:44:53Z thierry $
   4
   5 // Require login
   6 require_once 'plc_login.php';
   7
   8 if ($_GET['id']) require ('peer.php') ;
   9 else             require ('peers.php');
  10
  11 ?>