+ public static boolean isMevizGeneratedIndexFile(final File indexFile)
+ throws IOException {
+
+ boolean isMevizFile = false;
+
+ final FileReader fileReader = new FileReader(indexFile);
+ final BufferedReader reader = new BufferedReader(fileReader);
+
+ parseFile:
+ {
+ while (true) {
+ final String line = reader.readLine();
+
+ if (line == null)
+ break parseFile;
+
+ if (line.contains(Constants.HTML_MAGIC_STRING)) {
+ isMevizFile = true;
+ break parseFile;
+ }
+ }
+ }
+
+ reader.close();
+ fileReader.close();
+ return isMevizFile;
+ }
+
+ /**
+ * TODO: URL path component is encoded differently from URL query parameter.
+ * Also some URL encoding might work for HTML on local filesystem, while other
+ * stuff works for web. Things must be cleared up here. Currently they are mixed and
+ * hacked together.
+ */
+ public static String urlEncode(String string) {
+ if (string.startsWith("./"))
+ string = string.substring(2);
+
+ // TODO: get rid of UrlParamEncoder.
+ return UrlParamEncoder.encode(string);
+ //
+// try {
+// return URLEncoder.encode(string, UTF_8).replace("+", "%20");
+// } catch (UnsupportedEncodingException e) {
+// throw new RuntimeException(e);
+// }
+ }