|
@@ -14,6 +14,7 @@ import signal
|
|
import socket
|
|
import socket
|
|
import socketserver
|
|
import socketserver
|
|
import subprocess
|
|
import subprocess
|
|
|
|
+import sys
|
|
import textwrap
|
|
import textwrap
|
|
import threading
|
|
import threading
|
|
import time
|
|
import time
|
|
@@ -475,7 +476,7 @@ class AppHarness:
|
|
frontend_children = psutil.Process(self.frontend_process.pid).children(
|
|
frontend_children = psutil.Process(self.frontend_process.pid).children(
|
|
recursive=True,
|
|
recursive=True,
|
|
)
|
|
)
|
|
- if platform.system() == "Windows":
|
|
|
|
|
|
+ if sys.platform == "win32":
|
|
self.frontend_process.terminate()
|
|
self.frontend_process.terminate()
|
|
else:
|
|
else:
|
|
pgrp = os.getpgid(self.frontend_process.pid)
|
|
pgrp = os.getpgid(self.frontend_process.pid)
|