diff options
| author | Alex Crichton <alex@alexcrichton.com> | 2013-10-31 22:09:48 -0700 |
|---|---|---|
| committer | Alex Crichton <alex@alexcrichton.com> | 2013-10-31 22:09:48 -0700 |
| commit | 8f258ab532eebce705b5eb27cc8635400992ca54 (patch) | |
| tree | d7f5f7ff4dae3c01f40fb337f103946cc7cc28af /src/rt/rust_android_dummy.cpp | |
| parent | d04a58cf2d224f6e0ae69334f90a9013ae2ba35a (diff) | |
| download | rust-8f258ab532eebce705b5eb27cc8635400992ca54.tar.gz rust-8f258ab532eebce705b5eb27cc8635400992ca54.zip | |
Provide a sound method of flushing stdout
The previous method was unsound because you could very easily create two mutable pointers which alias the same location (not sound behavior). This hides the function which does so and then exports an explicit flush() function (with documentation about how it works).
Diffstat (limited to 'src/rt/rust_android_dummy.cpp')
0 files changed, 0 insertions, 0 deletions