From a8882f7cb2dff550102d83ee21c08d95ad259e39 Mon Sep 17 00:00:00 2001
From: kairi <kairi.satellite@gmail.com>
Date: Mon, 29 May 2023 17:47:59 +0900
Subject: [PATCH] Fix Piped Audio Input Ends Prematurely

Co-authored-by: Danny <1695103+Rapptz@users.noreply.github.com>
---
 discord/player.py | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/discord/player.py b/discord/player.py
index 2030442af..38113ebd8 100644
--- a/discord/player.py
+++ b/discord/player.py
@@ -210,7 +210,8 @@ class FFmpegAudio(AudioSource):
             # arbitrarily large read size
             data = source.read(8192)
             if not data:
-                self._process.terminate()
+                if self._stdin is not None:
+                    self._stdin.close()
                 return
             try:
                 if self._stdin is not None: