Dmitry Bogatov 7a07629d68 repl: do not treat empty string as command ...

Previously, just pressing "<Enter>" at prompt resulted in following error
message:

	Error: Unknown command: "" type ? for help.

This message is harmless, but useless.  Also, such behaviour is different from
many (if not all) interactive environments: python, bash, dash, ...

With this change empty input string is silently ignored.

2019-07-27 07:43:44 +00:00

..

cmdline.rs

repl: do not treat empty string as command

2019-07-27 07:43:44 +00:00

main.rs

Squashed commit of the following:

2019-07-21 23:31:14 +02:00