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

  require_once '../config.php';

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

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