changeset 70:59431bb8d0bf

minor git-svn-id: https://luan-java.googlecode.com/svn/trunk@71 21e917c8-12df-6dd8-5cb6-c86387c605b9
author fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
date Wed, 30 Jan 2013 22:28:03 +0000
parents aeedefd3e3f3
children 5a93129995e1
files src/luan/tools/WebShell.java
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/src/luan/tools/WebShell.java	Wed Jan 23 03:18:13 2013 +0000
+++ b/src/luan/tools/WebShell.java	Wed Jan 30 22:28:03 2013 +0000
@@ -51,6 +51,7 @@
 			if( cmd != null ) {
 				Writer writer = new OutputStreamWriter(history);
 				writer.write( "% " + HtmlLib.encode(cmd) + "\r\n" );
+				writer.flush();
 				try {
 					LuanState luan  = (LuanState)session.getValue("luan");
 					if( luan==null ) {