changeset 43274 | 6b5ed4f9fb81 |
parent 43264 | 7b06e19184de |
child 43367 | 7797472a9ed5 |
--- a/langtools/src/jdk.jshell/share/classes/jdk/internal/jshell/tool/JShellTool.java Fri Jan 20 08:29:59 2017 -0800 +++ b/langtools/src/jdk.jshell/share/classes/jdk/internal/jshell/tool/JShellTool.java Fri Jan 20 11:05:48 2017 -0800 @@ -987,7 +987,7 @@ break; } String trimmed = trimEnd(raw); - if (!trimmed.isEmpty()) { + if (!trimmed.isEmpty() || !incomplete.isEmpty()) { String line = incomplete + trimmed; // No commands in the middle of unprocessed source