tree d430a871b01f4d8209ad981d8e114b522db2b23c
parent 2b0b5cc078e9acc4f9b4908fb6c835119f295ce1
author Lukacs Berki <lberki@google.com> 1461670824 +0000
committer Yun Peng <pcloudy@google.com> 1461681570 +0000

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