macosx: Properly relaunch VLC when asked for.

modules/gui/macosx/intf.m

@@ -31,6 +31,7 @@
 #include <sys/param.h>                                    /* for MAXPATHLEN */
 #include <string.h>
 #include <vlc_keys.h>
+#include <spawn.h>
 
 #ifdef HAVE_CONFIG_H
 #   include "config.h"
@@ -2270,7 +2271,11 @@ end:
     [[NSUserDefaults standardUserDefaults] synchronize];
 
     /* Relaunch now */
-    [[NSWorkspace sharedWorkspace] launchApplication:[[NSBundle mainBundle] bundlePath]];
+    const char * path = [[[NSBundle mainBundle] executablePath] UTF8String];
+    const char *spawnedArgs[2] = { path, NULL };
+    char *spawnedEnv[] = {NULL};
+
+    posix_spawn(NULL, path, NULL, NULL, spawnedArgs, spawnedEnv);
     exit(0);
 }