# HG changeset patch
# User wenzelm
# Date 1420904107 -3600
# Node ID a74eb8e0907aa656a872e6658e31a9e76c64a7d1
# Parent  734bb148503e2993eff994ad9a3c80d306134b64
always use socket to test performance and stability;

diff -r 734bb148503e -r a74eb8e0907a src/Pure/System/system_channel.scala
--- 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