From: Eshel Yaron <me@eshelyaron.com>
Date: Sat, 21 Jan 2023 20:46:35 +0000 (+0200)
Subject: FIXED: possible race condition when signaling new top-level threads
X-Git-Tag: V9.1.3-sweep-0.14.0~6
X-Git-Url: http://git.eshelyaron.com/gitweb/?a=commitdiff_plain;h=8443e4199f8bf77835e0604dc26916851207f838;p=dict.git

FIXED: possible race condition when signaling new top-level threads
---

diff --git a/sweeprolog.el b/sweeprolog.el
index c434096..33aa182 100644
--- a/sweeprolog.el
+++ b/sweeprolog.el
@@ -2848,9 +2848,8 @@ appropriate buffer."
                             (and (derived-mode-p 'sweeprolog-top-level-mode)
                                  sweeprolog-top-level-thread-id)))))
          (read-string "Signal goal: ?- ")))
-  (sweeprolog-signal-thread (buffer-local-value 'sweeprolog-top-level-thread-id
-                                                (get-buffer buffer))
-                            goal))
+  (with-current-buffer (get-buffer buffer)
+    (sweeprolog-top-level-signal-current goal)))
 
 (defun sweeprolog-top-level-signal-current (goal)
   "Signal the current top-level thread to run GOAL.
@@ -2862,6 +2861,8 @@ GOAL.  Otherwise, GOAL is set to a default value specified by
                          (read-string "Signal goal: ?- " nil
                                       'sweeprolog-top-level-signal-goal-history)
                        sweeprolog-top-level-signal-default-goal)))
+  (unless sweeprolog-top-level-thread-id
+    (sweeprolog-top-level--populate-thread-id))
   (sweeprolog-signal-thread sweeprolog-top-level-thread-id goal))
 
 ;;;###autoload