diff --git a/python_files/python_server.py b/python_files/python_server.py
index deda05753c4d..40133917a3ec 100644
--- a/python_files/python_server.py
+++ b/python_files/python_server.py
@@ -159,7 +159,10 @@ def get_value(self) -> str:
 
 def get_headers():
     headers = {}
-    while line := STDIN.readline().strip():
+    while True:
+        line = STDIN.readline().strip()
+        if not line:
+            break
         name, value = line.split(":", 1)
         headers[name] = value.strip()
     return headers