diff --git a/ecrire/inc/distant.php b/ecrire/inc/distant.php index d6c6c31fca7c1e679b2f5c14b23eaaf32943f1ae..90c98adb199f3035417ff015e27bc92edfade3db 100644 --- a/ecrire/inc/distant.php +++ b/ecrire/inc/distant.php @@ -765,6 +765,9 @@ function fichier_copie_locale($source){ // a deja ete copie en local avec cette extension // dans ce cas elle est fiable, pas la peine de requeter en base $path_parts = pathinfo($source); + if (!isset($path_parts['extension'])) { + $path_parts['extension'] = ''; + } $ext = $path_parts ? $path_parts['extension'] : ''; if ($ext AND preg_match(',^\w+$,', $ext) // pas de php?truc=1&...