diff options
-rw-r--r-- | site/docs/bazel-user-manual.html | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/site/docs/bazel-user-manual.html b/site/docs/bazel-user-manual.html index 62261d6881..c72545eeb2 100644 --- a/site/docs/bazel-user-manual.html +++ b/site/docs/bazel-user-manual.html @@ -3752,3 +3752,13 @@ Start time: [time elapsed from the profiling session start] Duration: [tas </ul></li> </ul> +<p>If Bazel appears to be hung, you can hit <kbd>⟨Control⟩</kbd>-<kbd>\</kbd> or send Bazel + a <code>SIGINT</code> signal (<code>kill -3 $(bazel info server_pid)</code>) to get a + thread dump in the file <code>$(bazel info output_base)/server/jvm.out</code>. +</p> + +<p> + Since you may not be able to run <code>bazel info</code> if bazel is hung, the + <code>output_base</code> directory is usually the parent of the <code>bazel-base_workspace</code> + symlink in your workspace directory. +</p> |