mirror of
https://github.com/denoland/deno.git
synced 2024-12-11 10:07:54 -05:00
488eb21652
This commit changes history handling of the REPL. There were some situations were history wasn't properly saved and flushed to a file, making history very spotty. This commit changes it to save every line into the history file and flush it to disk before being evaluated. Thanks to this all lines, including "close()" will be stored in the history file. If for any reason we're not able to save history file, a single warning will be printed to the REPL and it will continue to work, even if subsequent tries will fail to save to disk. |
||
---|---|---|
.. | ||
channel.rs | ||
editor.rs | ||
mod.rs | ||
session.rs |