diff options
author | Lukacs Berki <lberki@google.com> | 2016-04-25 11:17:31 +0000 |
---|---|---|
committer | Dmitry Lomov <dslomov@google.com> | 2016-04-25 11:32:23 +0000 |
commit | 5a78166ee4edbd295f5d5fdb94785025285e764b (patch) | |
tree | 45c08efc2536a6235f60290a4e23e961252ac335 /src/main/java/com/google/devtools/build/lib/analysis | |
parent | 523f79fea313e4fbc15b779994029d747b3f18a7 (diff) |
Write the server.pid file from C++ instead of Java.
This is because OsUtils.getpid() cannot work under msys2 since java.exe is not an msys2 binary. We might make it work by including JNI code, but the current plan is to go without JNI on Windows.
--
MOS_MIGRATED_REVID=120694746
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/analysis')
0 files changed, 0 insertions, 0 deletions