From 18a06619c18c19104b1c8d1f457065e0b234903e Mon Sep 17 00:00:00 2001
From: tporadowski <tomasz.poradowski@gmail.com>
Date: Mon, 2 Mar 2020 14:57:13 +0100
Subject: [PATCH] use suggested _execve() when restarting server

---
 src/server.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/server.c b/src/server.c
index 2b0a49b9..8670108d 100644
--- a/src/server.c
+++ b/src/server.c
@@ -1860,7 +1860,7 @@ int restartServer(int flags, mstime_t delay) {
     if (delay) usleep(delay*1000);
     zfree(server.exec_argv[0]);
     server.exec_argv[0] = zstrdup(server.executable);
-    execve(server.executable,server.exec_argv,environ);
+    IF_WIN32(_execve,execve)(server.executable,server.exec_argv,environ);
 
     /* If an error occurred here, there is nothing we can do, but exit. */
     _exit(1);