changeset 1848:6f3f1768fdde default tip

html encode dir names
author Franklin Schmidt <fschmidt@gmail.com>
date Thu, 20 Feb 2025 14:38:07 -0700
parents aa008b20d820
children
files src/goodjava/webserver/handlers/DirHandler.java
diffstat 1 files changed, 3 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/src/goodjava/webserver/handlers/DirHandler.java	Wed Feb 19 14:38:04 2025 -0700
+++ b/src/goodjava/webserver/handlers/DirHandler.java	Thu Feb 20 14:38:07 2025 -0700
@@ -10,6 +10,7 @@
 import java.util.Arrays;
 import java.util.Comparator;
 import java.util.Date;
+import goodjava.html.Html;
 import goodjava.webserver.Handler;
 import goodjava.webserver.Request;
 import goodjava.webserver.Response;
@@ -66,11 +67,12 @@
 				Arrays.sort(a,sorter);
 				for( File child : a ) {
 					String name = child.getName();
+					name = Html.encode(name);
 					boolean isDir = child.isDirectory();
 					if( isDir )
 						name += '/';
 					writer.write( "\t\t\t<tr>\n" );
-					writer.write( "\t\t\t\t<td><a href='"+name+"'>"+name+"</a></td>\n" );
+					writer.write( "\t\t\t\t<td><a href=\""+name+"\">"+name+"</a></td>\n" );
 					writer.write( "\t\t\t\t<td>"+fmt.format(new Date(child.lastModified()))+"</td>\n" );
 					if( !isDir )
 						writer.write( "\t\t\t\t<td align=right>"+child.length()+" bytes</td>\n" );