User defined pipe and redirection operators: Difference between revisions
Content added Content deleted
(julia example) |
|||
| Line 542: | Line 542: | ||
stat(datafilename).size == 0 && (fd = open(datafilename, "a"); write(fd, LISTDATA); close(fd)) |
stat(datafilename).size == 0 && (fd = open(datafilename, "a"); write(fd, LISTDATA); close(fd)) |
||
channelstream() = Channel{String} |
channelstream() = Channel{String}(200) |
||
closewhenempty(c) = @async begin while !isempty(c) sleep(rand()) end; close(c); end |
closewhenempty(c) = @async begin while !isempty(c) sleep(rand()) end; close(c); end |
||