diff options
| author | Enrico Tassi | 2015-02-04 15:45:29 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2015-02-05 12:53:46 +0100 |
| commit | ac73048656780b6f02d303daf2c59883c9346eb7 (patch) | |
| tree | 27e864bc0b0915a3f70104778fbdedb39450767a /dev | |
| parent | 6db9f653c4aa133b161e73bf8f93d066e5858b83 (diff) | |
Marshal.from_string on 32 bit systems use tmpfile if needed (Close: 3968)
Strings are at most 16M on 32 bit OCaml, and the system state
may be bigger. In this case we write to tmp file and
Marshal.from_channel. We can't directly use the channel interface
because of badly designed non blocking API (available only on fds and
not channels).
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions