!7

p {
  startDeadlockDetector();
}

html {
  L<ThreadInfo> l = printDeadlocks_lastDeadlock;
  if (l == null) ret "No deadlocks";
  ret h1("Deadlock with " + n(l, + " threads!")
    + pre(htmlencode(deadlockedThreadsToString(l)));
}