mirrors/kitty
1
0
Fork 0
mirror of https://github.com/kovidgoyal/kitty synced 2026-07-21 16:05:02 +02:00
Code Issues Packages Projects Releases Wiki Activity

Flush the write to shm explicitly

Browse Source
This commit is contained in:
Kovid Goyal
2022-03-10 15:01:58 +05:30
parent 4013544efb
commit f67009f554
2 changed files with 9 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
kitty/shm.py
View File

@@ -46,8 +46,9 @@ class SharedMemory:
def __init__(
self, name: str = '', size: int = 0, readonly: bool = False,
mode: int = stat.S_IREAD | stat.S_IWRITE,
prefix: str = 'kitty-'
prefix: str = 'kitty-', unlink_on_exit: bool = False
):
self.unlink_on_exit = unlink_on_exit
if size < 0:
raise TypeError("'size' must be a non-negative integer")
if size and name:
@@ -100,6 +101,9 @@ class SharedMemory:
def seek(self, pos: int, whence: int = os.SEEK_SET) -> None:
self.mmap.seek(pos, whence)
def flush(self) -> None:
self.mmap.flush()
def __del__(self) -> None:
try:
self.close()
@@ -111,6 +115,8 @@ class SharedMemory:
def __exit__(self, *a: object) -> None:
self.close()
if self.unlink_on_exit:
self.unlink()
@property
def size(self) -> int: