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

Make getting cmdline of a PID a bit more convenient

Browse Source
This commit is contained in:
Kovid Goyal
2022-06-04 15:07:08 +05:30
parent b3578a4fa5
commit 5a0a980648
3 changed files with 18 additions and 9 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
kitty/utils.py
View File

@@ -919,11 +919,11 @@ def is_kitty_gui_cmdline(*cmd: str) -> bool:
def reload_conf_in_all_kitties() -> None:
import signal
from kitty.child import cmdline_of_process
from kitty.child import cmdline_of_pid
for pid in get_all_processes():
try:
cmd = cmdline_of_process(pid)
cmd = cmdline_of_pid(pid)
except Exception:
continue
if cmd and is_kitty_gui_cmdline(*cmd):