equal
deleted
inserted
replaced
13 import java.net.{ServerSocket, InetAddress} |
13 import java.net.{ServerSocket, InetAddress} |
14 |
14 |
15 |
15 |
16 object System_Channel |
16 object System_Channel |
17 { |
17 { |
18 def apply(): System_Channel = |
18 def apply(): System_Channel = new Socket_Channel |
19 if (Platform.is_windows) new Socket_Channel else new Fifo_Channel |
19 // FIXME if (Platform.is_windows) new Socket_Channel else new Fifo_Channel |
20 } |
20 } |
21 |
21 |
22 abstract class System_Channel |
22 abstract class System_Channel |
23 { |
23 { |
24 def params: List[String] |
24 def params: List[String] |