From 14ea69c9c7a27eb00e84f6f70d01e8d8988723dd Mon Sep 17 00:00:00 2001
From: Kovid Goyal <kovid@kovidgoyal.net>
Date: Tue, 24 Jul 2018 11:28:34 +0530
Subject: [PATCH] Pass pid of child process as env var to kittens

---
 kitty/boss.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/kitty/boss.py b/kitty/boss.py
index 7118c9127..da5f0d124 100644
--- a/kitty/boss.py
+++ b/kitty/boss.py
@@ -606,6 +606,7 @@ class Boss:
                     stdin=data,
                     env={
                         'KITTY_COMMON_OPTS': json.dumps(copts),
+                        'KITTY_CHILD_PID': w.child.pid,
                         'PYTHONWARNINGS': 'ignore',
                         'OVERLAID_WINDOW_LINES': str(w.screen.lines),
                         'OVERLAID_WINDOW_COLS': str(w.screen.columns),