Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned tracing;
authorwenzelm
Fri, 03 Oct 2008 00:21:48 +0200
changeset 28472 500ff7219782
parent 28471 00046e3b46b5
child 28473 206db9ad527e
tuned tracing;
src/Pure/Concurrent/future.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Concurrent/future.ML	Fri Oct 03 00:12:13 2008 +0200
+++ b/src/Pure/Concurrent/future.ML	Fri Oct 03 00:21:48 2008 +0200
@@ -151,7 +151,8 @@
     val _ = trace_active ();
     val _ = Multithreading.tracing 3 (fn () => name ^ ": running");
     val ok = setmp_thread_data (name, task, group) run ();
-    val _ = Multithreading.tracing 3 (fn () => name ^ ": finished");
+    val _ = Multithreading.tracing 3
+      (fn () => name ^ ": finished " ^ (if ok then "(ok)" else "(failed)"));
     val _ = SYNCHRONIZED "execute" (fn () =>
      (change queue (TaskQueue.finish task);
       if ok then ()
isabelle