Gecko [ dataharbor.africa ]

Name	Size	Permission
?;__pycache__	[ DIR ]	drwxr-xr-x
__init__.py	1.21 KB	-rw-r--r--
_api.py	8.19 KB	-rw-r--r--
_error.py	362 B	-rw-r--r--
_soft.py	1.58 KB	-rw-r--r--
_unix.py	1.38 KB	-rw-r--r--
_util.py	558 B	-rw-r--r--
_windows.py	1.69 KB	-rw-r--r--
py.typed	0 B	-rw-r--r--
version.py	142 B	-rw-r--r--

Code Editor : _windows.py

import os
import sys
from abc import ABC
from errno import ENOENT
from typing import cast

from ._api import BaseFileLock
from ._util import raise_on_exist_ro_file

if sys.platform == "win32":  # pragma: win32 cover
    import msvcrt

class WindowsFileLock(BaseFileLock):
        """Uses the :func:`msvcrt.locking` function to hard lock the lock file on windows systems."""

def _acquire(self) -> None:
            raise_on_exist_ro_file(self._lock_file)
            mode = (
                os.O_RDWR  # open for read and write
                | os.O_CREAT  # create file if not exists
                | os.O_TRUNC  # truncate file  if not empty
            )
            try:
                fd = os.open(self._lock_file, mode)
            except OSError as exception:
                if exception.errno == ENOENT:  # No such file or directory
                    raise
            else:
                try:
                    msvcrt.locking(fd, msvcrt.LK_NBLCK, 1)
                except OSError:
                    os.close(fd)
                else:
                    self._lock_file_fd = fd

def _release(self) -> None:
            fd = cast(int, self._lock_file_fd)
            self._lock_file_fd = None
            msvcrt.locking(fd, msvcrt.LK_UNLCK, 1)
            os.close(fd)

try:
                os.remove(self._lock_file)
            # Probably another instance of the application hat acquired the file lock.
            except OSError:
                pass

else:  # pragma: win32 no cover

class WindowsFileLock(BaseFileLock, ABC):
        """Uses the :func:`msvcrt.locking` function to hard lock the lock file on windows systems."""

__all__ = [
    "WindowsFileLock",
]

${this.title}

Code Editor : _windows.py