<?php

  function e_carte($env)
  { if($env->pun_user["is_guest"]) _login($env);
    else
    { $env->out["VIEW_MAP"] = $env->data->view_map_ok($env);
      $env->out["EDIT_MAP"] = $env->data->edit_map_ok($env);
      $env->out["EDIT_ON"] = isset($_GET[$env->param("edit")]);
      if(($env->out["emplacement_types"] = $env->data->map_emplacement_types()) === false)
      { $env->erreur = "Impossible de lire la liste des types d'emplacement"; 
      }
    }
  }

?>