file = file.replaceAll("%20", " ");
//file = file.substring(1);
new FileLauncher(file).launch();
} else if (query == null || !query.contains("module=")) {
try {
URLLauncher launcher = new URLLauncher(url);
launcher.launch();
} catch (Exception exp) {
logger.error(exp, exp);
}
} else {
int module = Integer.valueOf(query.substring(query.indexOf("=") + 1));