function ServletContext($web_xml_file)
{
$web_xml_file = new File($web_xml_file);
if (File::validClass($web_xml_file) && $web_xml_file->exists()) {
$this->file =& $web_xml_file;
$cache_file = new File($web_xml_file->getFilePath() . 'cached');
$valid_cache = FALSE;
if ($cache_file->exists() && $web_xml_file->lastModified() == $cache_file->lastModified()) {
$this->config = @unserialize(FileReader::readFileContent($cache_file));
if (ServletContext::validClass($this->config)) {
$valid_cache = TRUE;
}
}
if (!$valid_cache) {
$this->config =& ServletXMLConfigReader::readXMLConfig(new FileReader($web_xml_file));
FileWriter::writeToFile($cache_file, serialize($this->config), $web_xml_file->lastModified());
}
}
if (isset($this->config)) {
$this->initServletContext();
}
}
