--- a/src/Pure/General/file_watcher.scala Sat Apr 04 20:16:25 2020 +0200
+++ b/src/Pure/General/file_watcher.scala Sat Apr 04 20:53:36 2020 +0200
@@ -90,7 +90,7 @@
handle(changed)
}
- private val watcher_thread = Standard_Thread.fork(name = "File_Watcher", daemon = true)
+ private val watcher_thread = Standard_Thread.fork(name = "file_watcher", daemon = true)
{
try {
while (true) {
--- a/src/Pure/System/command_line.scala Sat Apr 04 20:16:25 2020 +0200
+++ b/src/Pure/System/command_line.scala Sat Apr 04 20:53:36 2020 +0200
@@ -26,7 +26,7 @@
def tool(body: => Unit)
{
val thread =
- Standard_Thread.fork(name = "isabelle", inherit_locals = true) {
+ Standard_Thread.fork(name = "command_line", inherit_locals = true) {
val rc =
try { body; 0 }
catch {