diff options
| author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2012-10-03 19:05:32 +0000 |
|---|---|---|
| committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2012-10-03 19:05:32 +0000 |
| commit | 98db56a7b94d62a1fb0aa3be555fb09b0f98449f (patch) | |
| tree | 3f783ddfc3b17d3ddb992b9ea600729778ab3150 /INSTALL | |
| parent | f0547f8a6fe9cecefde8b1d0c3dc8fcf50219c6b (diff) | |
--wait-to-join / --no-wait-to-join option
workaround option till we fix bug 409. for now, I have kept --wait-to-join to
be default (old behavior). We could technically make --no-wait-to-join the
default when using non-incremental mode, but still possible for problems at
exit I think
(this commit was certified error- and warning-free by the test-and-commit script.)
Diffstat (limited to 'INSTALL')
0 files changed, 0 insertions, 0 deletions