From 6a3c812470f081e8689449df20458f6c28439d21 Mon Sep 17 00:00:00 2001
From: Kovid Goyal <kovid@kovidgoyal.net>
Date: Sat, 26 Aug 2017 10:35:11 +0530
Subject: [PATCH] Forgot to remove python profiling from one place

---
 kitty/boss.py | 13 -------------
 1 file changed, 13 deletions(-)

diff --git a/kitty/boss.py b/kitty/boss.py
index 86f4a5a05..86a28e801 100644
--- a/kitty/boss.py
+++ b/kitty/boss.py
@@ -196,19 +196,6 @@ class Boss(Thread):
                 self.queue_ui_action(self.gui_close_window, window)
 
     def run(self):
-        if self.args.profile:
-            import cProfile
-            import pstats
-            pr = cProfile.Profile()
-            pr.enable()
-        self.loop()
-        if self.args.profile:
-            pr.disable()
-            pr.create_stats()
-            s = pstats.Stats(pr)
-            s.dump_stats(self.args.profile)
-
-    def loop(self):
         while not self.shutting_down:
             all_readers = list(self.read_dispatch_map)
             all_writers = [