<?php
  
/** 
*   @file getParameterList.php 
*   @brief  REST interface for service getParameterList
*
*   
*   @version $Id:  $ 
*/

  require_once '../config.php';

  $amda_ws = new WebServer();
  $result = $amda_ws->getParameterList($_GET);

    if ($result['ParameterList']){
      foreach($result['ParameterList'] as $key => $value) {
	echo "<$key>$value</$key><br/>";
      }
    }
    else {
     echo $result['message'];  
    }
?>