diff options
| author |  Lukacs Berki <lberki@google.com> | 2017-02-14 11:36:47 +0000 |
|---|---|---|
| committer |  Dmitry Lomov <dslomov@google.com> | 2017-02-14 14:23:55 +0000 |
| commit | 8fb311b4dced234b2f799c16c7d08148619f4087 (patch) | |
| tree | 5e6a6aee024326e80bb6bd9b53e485c7ced88e8e /src/main/java/com/google/devtools/build/lib/syntax/Runtime.java | |
| parent | c8510b180c93d4482b3bc4e6b5ba48c81f0d3dae (diff) | |
Reinstate idleness checks where the server self-terminates when it's idle and there is either too much memory pressure or the workspace directory is gone.
Arguably, it should kill itself when the workspace directory is gone regardless of whether it's idle or not, but let's first get us back to a known good state, then we can think about improvements.
--
PiperOrigin-RevId: 147454329
MOS_MIGRATED_REVID=147454329
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/syntax/Runtime.java')
0 files changed, 0 insertions, 0 deletions