[Summary view]

   1  <?php
   2  // This file is part of Moodle - http://moodle.org/
   3  //
   4  // Moodle is free software: you can redistribute it and/or modify
   5  // it under the terms of the GNU General Public License as published by
   6  // the Free Software Foundation, either version 3 of the License, or
   7  // (at your option) any later version.
   8  //
   9  // Moodle is distributed in the hope that it will be useful,
  10  // but WITHOUT ANY WARRANTY; without even the implied warranty of
  11  // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  12  // GNU General Public License for more details.
  13  //
  14  // You should have received a copy of the GNU General Public License
  15  // along with Moodle.  If not, see <http://www.gnu.org/licenses/>.
  16  
  17  /**
  18   * Special flatfile settings.
  19   *
  20   * @package    enrol_flatfile
  21   * @copyright  2013 Petr Skoda {@link http://skodak.org}
  22   * @license    http://www.gnu.org/copyleft/gpl.html GNU GPL v3 or later
  23   */
  24  
  25  defined('MOODLE_INTERNAL') || die();
  26  
  27  require_once("$CFG->libdir/adminlib.php");
  28  
  29  
  30  /**
  31   * Setting class that stores only non-empty values.
  32   */
  33  class enrol_flatfile_role_setting extends admin_setting_configtext {
  34  
  35      public function __construct($role) {
  36          parent::__construct('enrol_flatfile/map_'.$role->id, $role->localname, '', $role->shortname);
  37      }
  38  
  39      public function config_read($name) {
  40          $value = parent::config_read($name);
  41          if (is_null($value)) {
  42              // In other settings NULL means we have to ask user for new value,
  43              // here we just ignore missing role mappings.
  44              $value = '';
  45          }
  46          return $value;
  47      }
  48  
  49      public function config_write($name, $value) {
  50          if ($value === '') {
  51              // We do not want empty values in config table,
  52              // delete it instead.
  53              $value = null;
  54          }
  55          return parent::config_write($name, $value);
  56      }
  57  }