equal
deleted
inserted
replaced
279 ps.print("<html><head><title>"); |
279 ps.print("<html><head><title>"); |
280 ps.print(title); |
280 ps.print(title); |
281 ps.print("</title></head>\n<body>\n<H1>"); |
281 ps.print("</title></head>\n<body>\n<H1>"); |
282 ps.print(title); |
282 ps.print(title); |
283 ps.print("</h1><dl compact>\n"); |
283 ps.print("</h1><dl compact>\n"); |
284 DataInputStream ds = new DataInputStream(serverInput); |
284 BufferedReader ds = new BufferedReader(new InputStreamReader(serverInput)); |
285 String s; |
285 String s; |
286 while ((s = ds.readLine()) != null) { |
286 while ((s = ds.readLine()) != null) { |
287 int len = s.length(); |
287 int len = s.length(); |
288 while (len > 0 && s.charAt(len - 1) <= ' ') |
288 while (len > 0 && s.charAt(len - 1) <= ' ') |
289 len--; |
289 len--; |