Use builti

Co-authored-by: Jared Van Bortel <cebtenzzre@gmail.com>
This commit is contained in:
Pierrick Hymbert 2024-03-10 09:03:07 +01:00 committed by GitHub
parent 64b6f42ff5
commit 1b0d1577f5
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -1058,9 +1058,9 @@ def start_server_background(context):
print(f"starting server with: {context.server_path} {server_args}\n") print(f"starting server with: {context.server_path} {server_args}\n")
flags = 0 flags = 0
if 'nt' == os.name: if 'nt' == os.name:
flags |= 0x00000008 # DETACHED_PROCESS flags |= subprocess.DETACHED_PROCESS
flags |= 0x00000200 # CREATE_NEW_PROCESS_GROUP flags |= subprocess.CREATE_NEW_PROCESS_GROUP
flags |= 0x08000000 # CREATE_NO_WINDOW flags |= subprocess.CREATE_NO_WINDOW
pkwargs = { pkwargs = {
'close_fds': True, # close stdin/stdout/stderr on child 'close_fds': True, # close stdin/stdout/stderr on child