Nick Alexander c41d728d1d [cli] Part 2: Don't use exit() to terminate the CLI. ... It's not possible to do meaningful clean-up (such as saving history) if we use exit() to quit. Instead, each handled command returns a boolean requesting exit. I elected not to allow ".exit" when processing commands from the command line; it might be useful to handle accept that. In general, though, REPLs that accept "-c 'commands'" on the command line exit after processing those commands, so I'd rather think more deeply about that model than build in ".exit" with our existing system.		2018-06-22 15:36:09 -07:00
..
cli	[cli] Part 2: Don't use exit() to terminate the CLI.	2018-06-22 15:36:09 -07:00
mentatweb/src	Begin moving web server to a separate crate. (#448) r=bgrins	2017-05-10 02:25:59 -07:00