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.
refrain from actor shutdown -- slightly low-level;
authorwenzelm
Tue, 15 Sep 2009 19:01:16 +0200
changeset 34732 1b0cfb4812d9
parent 34731 c0cb6bd10eec
child 34733 a3ad6d51db1d
refrain from actor shutdown -- slightly low-level;
src/Tools/jEdit/src/jedit/Plugin.scala file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/src/jedit/Plugin.scala	Tue Sep 15 18:14:28 2009 +0200
+++ b/src/Tools/jEdit/src/jedit/Plugin.scala	Tue Sep 15 19:01:16 2009 +0200
@@ -164,6 +164,5 @@
     // TODO: proper cleanup
     Isabelle.system = null
     Isabelle.plugin = null
-    scala.actors.Scheduler.shutdown()
   }
 }
isabelle