Coqlib: avoid deadlock under win32 with force_reset_initial

 The force_reset_initial starts by killing coqtop, then it tries
 to acquire the lock on coq_computing. If it works, no jobs are
 pending, we do the real reset_initial (launch of a new coqtop +
 removal of buffer coloring) ourself.
 Otherwise, the function do_if_not_computing is running, the death
 of coqtop will raise a RestartCoqtop exception there, triggering
 a reset_initial.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14049 85f007b7-540e-0410-9357-904b9bb8a0f7

0 files changed, 0 insertions, 0 deletions