diff options
author | Hendrik Tews <hendrik@askra.de> | 2016-12-20 21:27:29 +0100 |
---|---|---|
committer | Hendrik Tews <hendrik@askra.de> | 2016-12-28 13:10:43 +0100 |
commit | 19c3160837736bc96eb55e1e79516781e3534184 (patch) | |
tree | c0b4de75dbf11f9e34f5eba755c7742c32222e14 /coq/coq-par-compile.el | |
parent | 4322481d0509a9817935bf22ceb2a5be43a81892 (diff) |
properly reset the vio2vo delay timer
cancel-timer does of course not set the variable that holds the
timer to nil
Diffstat (limited to 'coq/coq-par-compile.el')
-rw-r--r-- | coq/coq-par-compile.el | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/coq/coq-par-compile.el b/coq/coq-par-compile.el index 6378f573..8901a008 100644 --- a/coq/coq-par-compile.el +++ b/coq/coq-par-compile.el @@ -775,7 +775,8 @@ and resets the internal state." (setq coq-par-vio2vo-queue (coq-par-new-queue)) (setq coq--compile-vio2vo-in-progress nil) (when coq--compile-vio2vo-delay-timer - (cancel-timer coq--compile-vio2vo-delay-timer)) + (cancel-timer coq--compile-vio2vo-delay-timer) + (setq coq--compile-vio2vo-delay-timer nil)) (coq-par-unlock-all-ancestors-on-error) (when proof-action-list (setq proof-shell-interrupt-pending t)) @@ -1927,7 +1928,8 @@ the maximal number of background compilation jobs is started." ;; notification (when (cdr splitted-items) (when coq--compile-vio2vo-delay-timer - (cancel-timer coq--compile-vio2vo-delay-timer)) + (cancel-timer coq--compile-vio2vo-delay-timer) + (setq coq--compile-vio2vo-delay-timer nil)) (when coq--compile-vio2vo-in-progress (assert (not coq--last-compilation-job) nil "normal compilation and vio2vo in parallel 2") |