From 4f58b0ec1db8ba6a7e9bc4a3797a235b10fde04a Mon Sep 17 00:00:00 2001
From: Tim van Dijen <tvdijen@gmail.com>
Date: Thu, 4 Jan 2018 18:11:18 +0100
Subject: [PATCH] Make Travis happy

---
 lib/SimpleSAML/Utils/HTTP.php | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/lib/SimpleSAML/Utils/HTTP.php b/lib/SimpleSAML/Utils/HTTP.php
index abeca2e28..719279cd1 100644
--- a/lib/SimpleSAML/Utils/HTTP.php
+++ b/lib/SimpleSAML/Utils/HTTP.php
@@ -756,6 +756,8 @@ class HTTP
         $cfg = \SimpleSAML_Configuration::getInstance();
         $baseDir = $cfg->getBaseDir();
         $cur_path = realpath($_SERVER['SCRIPT_FILENAME']);
+        // althought very unlikely, realpath() could return false and Travis doesn't like that idea
+        assert(is_string($cur_path));
         // find the path to the current script relative to the www/ directory of SimpleSAMLphp
         $rel_path = str_replace($baseDir.'www'.DIRECTORY_SEPARATOR, '', $cur_path);
         // convert that relative path to an HTTP query
-- 
GitLab