Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/General/file_watcher.scala
changeset 71685 d5773922358d
parent 71359 411c0322c09d
child 71689 b3f738f12a9a 
--- a/src/Pure/General/file_watcher.scala	Sat Apr 04 18:13:05 2020 +0200
+++ b/src/Pure/General/file_watcher.scala	Sat Apr 04 19:18:19 2020 +0200
@@ -90,7 +90,7 @@
       handle(changed)
     }
 
-    private val watcher_thread = Standard_Thread.fork("File_Watcher", daemon = true)
+    private val watcher_thread = Standard_Thread.fork(name = "File_Watcher", daemon = true)
     {
       try {
         while (true) {
isabelle