diff options
| author | Geir Storli <geirstorli@yahoo.no> | 2017-05-18 11:27:05 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-05-18 11:27:05 +0200 |
| commit | 480270b558640b0bc5f4d63f64cb0b36a85a85fc (patch) | |
| tree | f8148b3d97e483f9d82bfeff3f0851274b5490c0 /documentapi | |
| parent | 9bfdd5618fe19872f0ae584711e05ded012a23fb (diff) | |
| parent | a7049f5cc3852c72373325eb58c6ed12bf587c04 (diff) | |
Merge pull request #2484 from yahoo/toregge/avoid-flush-engine-busy-loop
Avoid flush engine busy loop: set flushed time even if not able to fl…
Diffstat (limited to 'documentapi')
0 files changed, 0 insertions, 0 deletions