equal
deleted
inserted
replaced
41 * |
41 * |
42 * @author James Gosling |
42 * @author James Gosling |
43 * @see java.io.PipedInputStream |
43 * @see java.io.PipedInputStream |
44 * @since 1.0 |
44 * @since 1.0 |
45 */ |
45 */ |
46 public |
46 public class PipedOutputStream extends OutputStream { |
47 class PipedOutputStream extends OutputStream { |
|
48 |
47 |
49 /* REMIND: identification of the read and write sides needs to be |
48 /* REMIND: identification of the read and write sides needs to be |
50 more sophisticated. Either using thread groups (but what about |
49 more sophisticated. Either using thread groups (but what about |
51 pipes within a thread?) or using finalization (but it may be a |
50 pipes within a thread?) or using finalization (but it may be a |
52 long time until the next GC). */ |
51 long time until the next GC). */ |