dd88d1f
--- src/filesystem.cpp~	2015-04-08 16:31:54.000000000 -0500
dd88d1f
+++ src/filesystem.cpp	2015-06-26 07:45:00.794447377 -0500
dd88d1f
@@ -1025,6 +1025,11 @@
dd88d1f
 		return result;
dd88d1f
 	}
dd88d1f
 
dd88d1f
+	if (ends_with(filename, ".pbl")) {
dd88d1f
+		ERR_FS << "Illegal path '" << filename << "' (.pbl files are not allowed)." << std::endl;
dd88d1f
+		return result;
dd88d1f
+	}
dd88d1f
+
dd88d1f
 	bool already_found = false;
dd88d1f
 
dd88d1f
 	if (filename[0] == '~')
dd88d1f
--- src/filesystem_boost.cpp~	2015-04-08 16:31:54.000000000 -0500
dd88d1f
+++ src/filesystem_boost.cpp	2015-06-26 07:46:38.036445208 -0500
dd88d1f
@@ -976,6 +976,11 @@
dd88d1f
 		return false;
dd88d1f
 	}
dd88d1f
 
dd88d1f
+	if (ends_with(filename, ".pbl")) {
dd88d1f
+		ERR_FS << "Illegal path '" << filename << "' (.pbl files are not allowed)." << std::endl;
dd88d1f
+		return false;
dd88d1f
+	}
dd88d1f
+
dd88d1f
 	return true;
dd88d1f
 }
dd88d1f