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.
always use socket to test performance and stability;
authorwenzelm
Sat, 10 Jan 2015 16:35:07 +0100
changeset 59341 a74eb8e0907a
parent 59340 734bb148503e
child 59342 fd9102b419f5
always use socket to test performance and stability;
src/Pure/System/system_channel.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/System/system_channel.scala	Sat Jan 10 14:28:41 2015 +0100
+++ b/src/Pure/System/system_channel.scala	Sat Jan 10 16:35:07 2015 +0100
@@ -15,8 +15,8 @@
 
 object System_Channel
 {
-  def apply(): System_Channel =
-    if (Platform.is_windows) new Socket_Channel else new Fifo_Channel
+  def apply(): System_Channel = new Socket_Channel
+    // FIXME if (Platform.is_windows) new Socket_Channel else new Fifo_Channel
 }
 
 abstract class System_Channel
isabelle