Sockets: Difference between revisions
Content deleted Content added
No edit summary |
|||
Line 726: | Line 726: | ||
let _ = my_stream.write(b"hello socket world"); |
let _ = my_stream.write(b"hello socket world"); |
||
} // <- my_stream's drop function gets called, which closes the socket |
} // <- my_stream's drop function gets called, which closes the socket</lang> |
||
</lang> |
|||
=={{header|Scala}}== |
=={{header|Scala}}== |