<?php /** * @file getParameter.php * @brief REST interface for service getParameter * * * @version $Id: $ */ require_once '../config.php'; $amda_ws = new WebServer(); $result = $amda_ws->getParameter($_GET); if ($result['success']){ echo $result['dataFileURLs']; } else { echo $result['message']; } ?>