diff options
| author | Fabricio Voznika <fvoznika@google.com> | 2020-04-27 12:25:57 -0700 |
|---|---|---|
| committer | gVisor bot <gvisor-bot@google.com> | 2020-04-27 12:30:49 -0700 |
| commit | 003e79a6d11b17caed480c1ba556de5cb713abb3 (patch) | |
| tree | b6b40acd5451ecec99cb6adc7dd3e597e753c833 /.gitignore | |
| parent | 55f0c3316af8ea2a1fcc16511efc580f307623f6 (diff) | |
Dump stack for stuck start and stuck watchdog
The meaning for skipDump was reversed, but not all callers
were updated. Change the meaning once again to forceDump, so
that the period between stack dump is respected from all
callers.
PiperOrigin-RevId: 308674373
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions