diff options
author | Evan Prodromou <evan@status.net> | 2010-01-27 22:05:32 -0500 |
---|---|---|
committer | Evan Prodromou <evan@status.net> | 2010-01-27 22:05:32 -0500 |
commit | 5e1a9ad04d4e10ee44881a26ea72c9a80f748188 (patch) | |
tree | 78b7f4287d00a2ff32cf6adf82c6289a5d3b6b95 /scripts/console.php | |
parent | 817f01c3b18ec626701de2a1402562eeb87eee6d (diff) | |
parent | ee4ea3f3e1eb64df2dd3ba677f5201f8787482a8 (diff) |
Merge branch 'testing'
Conflicts:
theme/base/css/display.css
Diffstat (limited to 'scripts/console.php')
-rwxr-xr-x | scripts/console.php | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/scripts/console.php b/scripts/console.php index 8b62a3a96..4d207c261 100755 --- a/scripts/console.php +++ b/scripts/console.php @@ -45,10 +45,12 @@ function read_input_line($prompt) if (CONSOLE_INTERACTIVE) { if (CONSOLE_READLINE) { $line = readline($prompt); - readline_add_history($line); - if (defined('CONSOLE_HISTORY')) { - // Save often; it's easy to hit fatal errors. - readline_write_history(CONSOLE_HISTORY); + if (trim($line) != '') { + readline_add_history($line); + if (defined('CONSOLE_HISTORY')) { + // Save often; it's easy to hit fatal errors. + readline_write_history(CONSOLE_HISTORY); + } } return $line; } else { |