diff options
author | ctiller <ctiller@google.com> | 2014-12-11 16:26:49 -0800 |
---|---|---|
committer | Nicolas Noble <nnoble@google.com> | 2014-12-12 16:12:03 -0800 |
commit | 9a58df08555ddd5a127dd64c36f4d1ba07ea0d0b (patch) | |
tree | 0da5bd3bb68efd297c26d11fda6ee56a84fdbca9 /src/core | |
parent | c78b34075da76ccf45a7b2c40d90a12458ab4326 (diff) |
Explain server termination semantics a little better.
Change on 2014/12/11 by ctiller <ctiller@google.com>
-------------
Created by MOE: http://code.google.com/p/moe-java
MOE_MIGRATED_REVID=81923801
Diffstat (limited to 'src/core')
0 files changed, 0 insertions, 0 deletions