Копирование файлов без расширения php

При обработке своей базы данных столкнулся с багом в php. Функция copy не копировала файлы которые не имеют расширения. После долгих экспериментов получилось решить проблему только одним способом. Для начала попробовал использовать функцию rename, для начала переименование файла без расширения в файл с расширением, а затем копирование. Результат оказался таким же.

Спасла функция exec(). Я использовал внутреннюю команду ОС Linux переименования mv.
Синтаксис команды следующий:
mv file1 file2<cr>

То есть в результате получилась такая строка в php скрипте
exec("mv ".$filename1."".$filename2.".".$filetype);

Можно было бы замерить скорость если бы функция copy не глючила. И с вероятностью процентов 70 скорость этого решения была бы быстрее, чем команда copy, но проверить не представляется возможным.

Комментарии

Популярные сообщения из этого блога

Работа с phpbb3 из сторонних скриптов php: Часть 2 Создание поста

Две сетевые карты Windows 7. Настройка маршрутизации

Вывод последних сообщений форума phpbb3 на сторонний сайт