| changeset 59341 | a74eb8e0907a |
| parent 58639 | 1df53737c59b |
| child 59350 | acba5d6fdb2f |
--- 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