/** Returns the absolute pathname to the .reload file in the specified web module's directory. */
private String getReloadFilename(WebModule wm) {
String path = wm.getLocation();
File dir = new File(path);
if (!dir.isAbsolute()) path = _modulesRoot + "/" + path;
return path + "/" + ReloadMonitor.RELOAD_FILE;
}
