diff options
| author | 2019-04-06 14:07:19 +0200 | |
|---|---|---|
| committer | 2019-04-06 14:07:19 +0200 | |
| commit | 74f92658b71e602d7fff3bbd249e3ea8869fa2ad (patch) | |
| tree | 92d453a319e9f280425e6cc50102db81f65f1c72 /p | |
| parent | 09a5b4493d94120f836b85db5b84c0db7309a4ca (diff) | |
Fix for extensions on Windows (#2348)
https://github.com/FreshRSS/FreshRSS/issues/994
https://github.com/FreshRSS/FreshRSS/issues/2287
Diffstat (limited to 'p')
| -rw-r--r-- | p/ext.php | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -20,6 +20,11 @@ require(__DIR__ . '/../constants.php'); function is_valid_path($path) { // It must be under the extension path. $real_ext_path = realpath(EXTENSIONS_PATH); + + //Windows compatibility + $real_ext_path = str_replace('\\', '/', $real_ext_path); + $path = str_replace('\\', '/', $path); + $in_ext_path = (substr($path, 0, strlen($real_ext_path)) === $real_ext_path); if (!$in_ext_path) { return false; |
