inc_functions: use require instead of require_once

inc_functions.php

@@ -9,6 +9,11 @@
 // Source: https://git-repo.iml.unibe.ch/iml-open-source/login-aai
 // ======================================================================
 
+// WIP:
+// require 'classes/shibd_discofeed.class.php';
+// $oD = new shibd_discofeed();
+// print_r($oD->getAllIdps());
+
 $SELFURL = isset($_SERVER['SERVER_NAME']) ? "https://" . $_SERVER['SERVER_NAME'] : '';
 
 $url_list = "$SELFURL/Shibboleth.sso/DiscoFeed";
@@ -19,7 +24,8 @@ $ttlcache = 60 * 10;
 if (!file_exists('config.php')) {
     die("ERROR: file config.php does not exist yet.");
 }
-$aConfig = require_once('config.php');
+
+$aConfig = require 'config.php';
 
 // ----------------------------------------------------------------------
 // functions