a ‘ÐOc ã@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_safecCsZttjdƒr2ztj ||¡WSty0YdS0tj tj |¡¡tj tj |¡¡kS)NÚsamefileF)ÚhasattrÚosÚpathrÚOSErrorÚnormcaseÚabspath)ÚsrcÚdst©rúM/var/www/html/gsl.tools/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||ƒWn6tyR}z|jtjkr>‚WYd}~n d}~00zt |¡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ÚwriteZunlockÚcloserÚPermissionErrorÚerrnoÚEPERMÚremove)Z old_file_nameZ new_file_nameÚ chunk_sizeZallow_overwriteZold_fileÚfdZ current_chunkÚerrrrsX ÿÿ   ÿ þ ýý    ÿ ,)rF) Ú__doc__r%rÚshutilrZdjango.core.filesrÚ__all__rrrrrrÚs  ÿ