Wait for kernel to die instead of polling it (#11598)

Author: DonJayamanne

pythonFiles/vscode_datascience_helpers/kernel_launcher_daemon.py

@@ -139,8 +139,8 @@ def _read_stdout_in_background(self):
                 sys.stdout.flush()
 
     def _monitor_kernel(self):
-        while self.kernel.poll(timeout=None) is None:
-            pass
+        self.log.warn("Waiting for Kernel to die %s", self.kernel.pid)
+        self.kernel.wait(timeout=None)
 
         exit_code = self.kernel.poll()
         std_err = self.kernel.stderr.read()