33
33
import java .util .Date ;
34
34
import java .util .Iterator ;
35
35
import java .util .List ;
36
+ import java .util .Map ;
37
+ import java .util .HashMap ;
36
38
import java .util .Properties ;
37
39
import java .util .StringTokenizer ;
38
40
@@ -63,9 +65,6 @@ public class Controller extends HttpServlet {
63
65
64
66
private static final String FILE_DOWNLOAD_SERVLET = "/dlf" ;
65
67
66
- private static String version = "unknown" ;
67
- private static String builddate = "unknown" ;
68
-
69
68
private static final String VERSIONCONFIGFILE = "/version.txt" ;
70
69
71
70
public static final int NOP_ACTION = 0 ;
@@ -108,6 +107,8 @@ public class Controller extends HttpServlet {
108
107
109
108
private String filebase = null ;
110
109
110
+ private Properties versionProperties ;
111
+
111
112
public void init () throws ServletException {
112
113
tempDir = (File ) getServletContext ().getAttribute ("javax.servlet.context.tempdir" );
113
114
@@ -134,23 +135,12 @@ public void init() throws ServletException {
134
135
InputStream is = getClass ().getResourceAsStream (VERSIONCONFIGFILE );
135
136
136
137
if (is != null ) {
137
- Properties versionProperties = new Properties ();
138
+ versionProperties = new Properties ();
138
139
versionProperties .load (is );
139
140
is .close ();
140
-
141
- s = versionProperties .getProperty ("version" );
142
- if (null != s ) {
143
- version = s ;
144
- }
145
-
146
- s = versionProperties .getProperty ("build.date" );
147
- if (null != s ) {
148
- builddate = s ;
149
- }
150
-
151
141
}
152
142
} catch (Exception e ) {
153
- e . printStackTrace ( System . err );
143
+ throw new ServletException ( VERSIONCONFIGFILE , e );
154
144
}
155
145
156
146
}
@@ -181,6 +171,19 @@ public void doPost(HttpServletRequest request, HttpServletResponse response) thr
181
171
182
172
return ;
183
173
}
174
+
175
+ String showDotfiles = request .getParameter ("showDotfiles" );
176
+
177
+ HttpSession session = request .getSession ();
178
+
179
+ Map <String ,String > options = (Map <String ,String >)session .getAttribute ("options" );
180
+ if (options == null )
181
+ {
182
+ options = new HashMap <String ,String >();
183
+ session .setAttribute ("options" , options );
184
+ }
185
+
186
+ options .put ("showDotfiles" , showDotfiles );
184
187
185
188
File f = new File (filebase , pathInfo );
186
189
@@ -213,7 +216,7 @@ public void doPost(HttpServletRequest request, HttpServletResponse response) thr
213
216
String fileURL = requestURI .replaceFirst (contextPath , "" );
214
217
fileURL = fileURL .replaceFirst (servletPath , "" );
215
218
216
- folder = new Folder (f , pathInfo , fileURL );
219
+ folder = new Folder (f , pathInfo , fileURL , options );
217
220
218
221
folder .load ();
219
222
@@ -258,16 +261,12 @@ public void doPost(HttpServletRequest request, HttpServletResponse response) thr
258
261
259
262
request .setAttribute ("date" , s );
260
263
261
- request .setAttribute ("version " , version );
264
+ request .setAttribute ("versionInfo " , versionProperties );
262
265
263
- request .setAttribute ("builddate" , builddate );
264
-
265
266
request .setAttribute ("javaversion" , System .getProperty ("java.version" ));
266
267
267
268
request .setAttribute ("serverInfo" , getServletContext ().getServerInfo ());
268
269
269
- request .setAttribute ("jfmhome" , "https://java.net/projects/jfm" );
270
-
271
270
request .setAttribute ("url" , contextPath );
272
271
273
272
request .setAttribute ("path" , pathInfo );
@@ -295,7 +294,7 @@ private String handleQuery(HttpServletRequest request, HttpServletResponse respo
295
294
String rc = "" ;
296
295
297
296
HttpSession session = request .getSession ();
298
-
297
+
299
298
String target = null ;
300
299
int action = NOP_ACTION ;
301
300
String [] selectedfiles = request .getParameterValues ("index" );
0 commit comments