a Lcòf² ã@sDdZddlZddlmZmZddlmZdgZdd„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)ÚcopymodeÚcopystat)ÚlocksÚfile_move_safecCsZttjdƒr2ztj ||¡WSty0YdS0tj tj |¡¡tj tj |¡¡kS)NÚsamefileF)ÚhasattrÚosÚpathrÚOSErrorÚnormcaseÚabspath)ÚsrcÚdst©rúS/home/httpd/docs/test/DocsMgr/lib/python3.9/site-packages/django/core/files/move.pyÚ _samefiles   ÿréFc Cs¤t||ƒrdSz0|s.t |tj¡r.td|ƒ‚t ||¡WdStyPYn0t|dƒ }t |tjtj Bt tddƒB|s„tj ndB¡}zJt   |t j¡d}|dkrÀ| |¡}t ||¡q Wt  |¡t |¡nt  |¡t |¡0Wdƒn1s0Yzt||ƒWn8tyTzt||ƒWntyNYn0Yn0zt |¡Wn:tyž}z t |ddƒdkrŠ‚WYd}~n d}~00dS) 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_EXCLrÚlockZLOCK_EXÚreadÚwriteÚunlockÚcloserÚPermissionErrorrÚremove)Z old_file_nameZ new_file_nameÚ chunk_sizeZallow_overwriteZold_fileÚfdZ current_chunkÚerrrrs\ ÿÿ   ÿ þ ýý    ÿ , )rF) Ú__doc__rÚshutilrrZdjango.core.filesrÚ__all__rrrrrrÚs ÿ