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

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

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

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

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

Комментарии

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

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

Cisco Packet Tracer + Русификатор

Восстановление конфигурации Cisco с tftp сервера