Révision 36daa381

« Précédent | Suivant »

Bugfix: no ref_points was available when there was only one in ref_points.local.php

          echo '<p id="info"></p>'."\n";
          echo "<p id=\"insert\">";
          if (count($extra_names) > 1) {
          if (count($extra_names) > 0) {
            echo "<select id=\"sel_point\" name=\"known_points\">\n";
            foreach ($extra_names as $nm) {
     	     echo '<option>'.$nm."</option>\n";