comparison src/luan/tools/WebShell.java @ 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 5c9cadd0acce
children f86e4f77ef32
comparison
equal deleted inserted replaced
69:aeedefd3e3f3 70:59431bb8d0bf
49 } else { 49 } else {
50 String cmd = request.getParameter("cmd"); 50 String cmd = request.getParameter("cmd");
51 if( cmd != null ) { 51 if( cmd != null ) {
52 Writer writer = new OutputStreamWriter(history); 52 Writer writer = new OutputStreamWriter(history);
53 writer.write( "% " + HtmlLib.encode(cmd) + "\r\n" ); 53 writer.write( "% " + HtmlLib.encode(cmd) + "\r\n" );
54 writer.flush();
54 try { 55 try {
55 LuanState luan = (LuanState)session.getValue("luan"); 56 LuanState luan = (LuanState)session.getValue("luan");
56 if( luan==null ) { 57 if( luan==null ) {
57 luan = newLuanState(); 58 luan = newLuanState();
58 session.putValue("luan",luan); 59 session.putValue("luan",luan);