Fixed a BUG where if in a PATH was something like ;; the scan for the

[features.git] / src / support / filetools.C

diff --git a/src/support/filetools.C b/src/support/filetools.C
index e19db90d2319e0badf8f3312d20a7d88a4d499dc..cb824cb840880639e600e331e081fde7201f80e4 100644 (file)
--- a/src/support/filetools.C
+++ b/src/support/filetools.C
@@ -201,7 +201,9 @@ string FileOpenSearch (string const & path, string const & name,
                real_file = FileSearch(path_element, name, ext);
 
                if (real_file.empty()) {
-                 tmppath = split(tmppath, path_element, ';');
+                 do {
+                   tmppath = split(tmppath, path_element, ';');
+                 } while(!tmppath.empty() && path_element.empty());
                } else {
                  notfound = false;
                }