EDIT

 * update functions:

 * update for RELEASE 3.1.3:

/**

 * update for RELEASE 3.1.4:

 *  - reset edit_map_server variable to default

 */

function cdm_dataportal_update_7302() {

  // once again reset edit_map_server variable to default

  variable_del('edit_map_server');

}

  $edit_map_service = get_edit_map_service_settings();

                  jQuery('#openlayers_map').cdm_openlayers_map(

                   '" . $edit_map_service['base_uri'] . "',

                   '" . $edit_map_service['version'] . "',

                   {

               	  }

                );

               	// ---

			  };

  if (get_edit_map_service_version_number() >= 1.1) {

  $mapUri = url(get_edit_map_service_full_uri() . '/' . $map_service_script_name . '?' .  $query_string);

function CdmOpenlayersMap(mapElement, mapserverBaseUrl, mapserverVersion, options){

  var mapServicePath = '/edit_wp5';

      mapServiceRequest = mapserverBaseUrl + mapServicePath + '/' + mapserverVersion + '/areas.php?' + distributionQuery;

      mapServiceRequest = mapserverBaseUrl + mapServicePath + '/' + mapserverVersion + '/points.php?' + occurrenceQuery;

    // add additional layers, get them from the mapResponseObj

    	var geoserverUri;

    	if(mapResponseObj.geoserver) {

    		geoserverUri = mapResponseObj.geoserver;

    	} else {

    		// it is an old servive which is not providing the corresponding geoserver URI, so we guess it

    		geoserverUri = mapserverBaseUrl + "/geoserver/wms";

    	}

    	//TODO points_sld should be renamed to sld in response + fill path to sld should be given

            geoserverUri,

          // it is an old servive which is not providing the full sdl URI, so we guess it

          sld =  mapserverBaseUrl + "/synthesys/www/v1/sld/" + sld;

   /**

    * returns the version number contained in the version string:

    *   v1.1 --> 1.1

    *   v1.2_dev --> 1.2

    */

   var mapServerVersionNumber = function() {

	   var pattern = /v([\d\.]+).*$/;

	   var result;

	   if (result = mapserverVersion.match(pattern) !== null) {

		   return result[0];

	   } else {

		   return null;

	   }

   }

  $.fn.cdm_openlayers_map = function(mapserverBaseUrl, mapserverVersion, options) {

      var openlayers_map = new CdmOpenlayersMap($(this), mapserverBaseUrl, mapserverVersion, options);

/* ---- MAP SETTING CONSTANTS ---- */

/**

 * @var array of URIs eg. http://edit.africamuseum.be"

 *   An options array

 */

define('EDIT_MAPSERVER_URI', serialize(

    array(

      'http://edit.africamuseum.be'=>'Primary (http://edit.africamuseum.be)',

      'http://edit.br.fgov.be'=>'Secondary (http://edit.br.fgov.be)',

    )

  )

);

define('EDIT_MAPSERVER_PATH', '/edit_wp5');

/**

 * @var array of versions eg. "v1.2"

 *   An options array

 */

define('EDIT_MAPSERVER_VERSION', serialize(

    array(

      'v1' => 'v1' ,

      'v1.1' => 'v1.1',

      'v1.2_dev' => 'v1.2_dev'

    )

  )

);

define('EDIT_MAPSERVER_URI_DEFAULT', 'http://edit.africamuseum.be');

define('EDIT_MAPSERVER_VERSION_DEFAULT', 'v1.1');

define('DISTRIBUTION_TEXTDATA_DISPLAY_ON_TOP', 'distribution_textdata_on_top');

  $form['edit_map_server'] = array(

    '#tree' => true,

    '#title' => t('EDIT map service'),

  $current_geoserver_settings = get_edit_map_service_settings();

  $form['edit_map_server']['base_uri'] = array(

    '#title' => t('EDIT map service') . ':',

    '#default_value' => $current_geoserver_settings['base_uri'],

    '#options' => unserialize(EDIT_MAPSERVER_URI),

    '#description' => t('Select the EDIT map server you want to use within your data portal.'),

  $form['edit_map_server']['version'] = array(

      '#type' => 'select',

      '#title' => t('Version') . ':',

      '#default_value' => $current_geoserver_settings['version'],

      '#options' => unserialize(EDIT_MAPSERVER_VERSION),

      '#description' => t('The version of the EDIT map services'),

  $edit_mapserver_version = get_edit_map_service_version_number();

 * Returns an associative array of the currently chosen settings for the EDIT map service or the defaults as

 * specified in EDIT_MAPSERVER_URI_DEFAULT and EDIT_MAPSERVER_VERSION_DEFAULT:

 *  - base_uri: the protocol and host part , e.g.: http://edit.africamuseum.be

 *  - version: the version, e.g.: v1.1

 *

 * @return array

 *    An associative array of the currently chosen settings for the EDIT map service or the defaults.

function get_edit_map_service_settings() {

  $settings = variable_get('edit_map_server', array(

      'base_uri' => EDIT_MAPSERVER_URI_DEFAULT,

      'version' => EDIT_MAPSERVER_VERSION_DEFAULT

      )

  );

  // replace old non tree like settings by default

  // TODO to be removed after release 3.1.5

  if(!is_array($settings)){

    variable_del('edit_map_server');

    return get_edit_map_service_settings();

  return $settings;

 * Returns the full edit map service URI e.g.: http://edit.africamuseum.be/edit_wp5/v1.1

 *

 * @return string

 *   The full edit map service URI e.g.: http://edit.africamuseum.be/edit_wp5/v1.1

 */

function get_edit_map_service_full_uri() {

  $settings = get_edit_map_service_settings();

  return $settings['base_uri'] . EDIT_MAPSERVER_PATH .  '/' . $settings['version'];

}

/**

 * Returns the version number of the currently selected edit mapserver as a float

function get_edit_map_service_version_number() {

  $pattern = '/v([\d\.]+).*$/';

  $settings = get_edit_map_service_settings();

  preg_match($pattern, $settings['version'], $matches, PREG_OFFSET_CAPTURE);

    drupal_set_message(t(" Invalid EDIT map service version number: '!version'",

        array(

          '!version' => $settings['version'],

          'warning')

        )

      );

 * Returns the array of selected items in a options array

  $settings = get_edit_map_service_settings();

    if (get_edit_map_service_version_number() >= 1.1) {

    $mapUri = url(get_edit_map_service_full_uri() . '/' . $map_service_script_name . '? '. $query_string);