Merge commit '786f416f2ef31726b9e6fa0a5edde36aecddf085'

# Conflicts:
#	resources/vanilla
#	src/plugin/PluginBase.php
#	src/utils/Utils.php
This commit is contained in:
Dylan K. Taylor
2020-05-19 21:19:44 +01:00
4 changed files with 7 additions and 5 deletions

View File

@ -53,7 +53,7 @@ class DiskResourceProvider implements ResourceProvider{
* @return null|resource Resource data, or null
*/
public function getResource(string $filename){
$filename = rtrim(str_replace("\\", "/", $filename), "/");
$filename = rtrim(str_replace(DIRECTORY_SEPARATOR, "/", $filename), "/");
if(file_exists($this->file . $filename)){
$resource = fopen($this->file . $filename, "rb");
if($resource === false) throw new AssumptionFailedError("fopen() should not fail on a file which exists");