tree 3e7239809957c87380658f3078f590f6245bb9c2
parent b6ff0b670833f59562b76706b1e0c8abc90ea0d0
author Jan Kundrát <jan.kundrat@cesnet.cz> 1536154329 +0200
committer Jan Kundrát <jan.kundrat@cesnet.cz> 1536159655 +0200

cli: Ignore blank lines

If a user presses "enter" with no other input, the usual reaction from
other CLIs is to ignore that and just prompt again. It is handy for,
e.g., separating output of several commands.

Change-Id: If0c7647a22949a6f7fd9b32d663f88de9d033034