Threaded mode not using place.

herbie-fp · Sep 29, 2024 · c7e02e9 · c7e02e9
1 parent 3422a3f
commit c7e02e9
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/src/api/server.rkt b/src/api/server.rkt
@@ -124,7 +124,10 @@
      (place-channel-put manager (list 'improve b))
      (log "Getting improve results.\n")
      (place-channel-get a)]
-    [else #f])) ; TODO Not supported yet
+    [else
+     (for/list ([(job-id result) (in-hash single-threaded-cache)]
+                #:when (equal? (hash-ref result 'command) "improve"))
+       (get-table-data-from-hash result (make-path job-id)))]))
 
 (define (job-count)
   (cond