Revert server.pid to be a symlink so that old server version can shut down new ones.

Add server.pid.txt that contains the same information in text form. ExecuteDaemon() on Windows will simply not write server.pid .

--
MOS_MIGRATED_REVID=120802055

1 files changed, 3 insertions, 2 deletions

diff --git a/src/main/cpp/blaze_util_platform.h b/src/main/cpp/blaze_util_platform.h
index 42a2f5db9f..e191711c54 100644
--- a/src/main/cpp/blaze_util_platform.h
+++ b/src/main/cpp/blaze_util_platform.h
@@ -62,9 +62,10 @@ void ExecuteProgram(const string& exe, const std::vector<string>& args_vector);
 // Starts a daemon process with its standard output and standard error
 // redirected to the file "daemon_output". Returns a file descriptor of a named
 // pipe whose other end is held by the daemon and which is closed if the daemon
-// exits.
+// exits. The PID of the daemon just started is written into server_dir, both
+// as a symlink (for legacy reasons) and as a file.
 int ExecuteDaemon(const string& exe, const std::vector<string>& args_vector,
-                   const string& daemon_output, const string& pid_file);
+                  const string& daemon_output, const string& server_dir);
 
 // Executes a subprocess and returns its standard output and standard error.
 // If this fails, exits with the appropriate error code.