U €Ha ã@sHdZddlZddlZddlmZddlmZdgZdd„Zd d d„Z dS) zž Move a file in the safest way possible:: >>> from django.core.files.move import file_move_safe >>> file_move_safe("/tmp/old_file", "/tmp/new_file") éN)Úcopystat)ÚlocksÚfile_move_safecCs\ttjdƒr4ztj ||¡WStk r2YdSXtj tj |¡¡tj tj |¡¡kS)NÚsamefileF)ÚhasattrÚosÚpathrÚOSErrorÚnormcaseÚabspath)ÚsrcÚdst©rú:/tmp/pip-unpacked-wheel-3jxiddxt/django/core/files/move.pyÚ _samefiles ÿréFc Csvt||ƒrdSz0|s.t |tj¡r.td|ƒ‚t ||¡WdStk rRYnXt|dƒ‚}t |tjtj Bt tddƒB|s†tj ndB¡}z6t  |t j¡d}|dkrÂ| |¡}t ||¡q¢W5t   |¡t |¡XW5QRXzt||ƒWn4tk r(}z|jtjkr‚W5d}~XYnXzt |¡Wn8tk rp}zt |ddƒdkr`‚W5d}~XYnXdS) aU Move a file from one location to another in the safest way possible. First, try ``os.rename``, which is simple but will break across filesystems. If that fails, stream manually from one file to another in pure Python. If the destination file exists and ``allow_overwrite`` is ``False``, raise ``FileExistsError``. Nz8Destination file %s exists and allow_overwrite is False.ÚrbÚO_BINARYróÚwinerroré )rrÚaccessÚF_OKÚFileExistsErrorÚrenamer ÚopenÚO_WRONLYÚO_CREATÚgetattrÚO_EXCLrZunlockÚcloseÚlockZLOCK_EXÚreadÚwriterÚPermissionErrorÚerrnoÚEPERMÚremove)Z old_file_nameZ new_file_nameÚ chunk_sizeZallow_overwriteZold_fileÚfdZ current_chunkÚerrrrs>     ÿ  )rF) Ú__doc__r%rÚshutilrZdjango.core.filesrÚ__all__rrrrrrÚs