portal_functions.php: variabele $config['portalId'] is niet geset in portal_config.php.