1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
1.2 +++ b/patches/Webware/WebKit/Application.py-0.8.1.diff Sun Feb 01 18:46:33 2004 +0000
1.3 @@ -0,0 +1,51 @@
1.4 +--- Application.py Wed Jan 22 10:03:25 2003
1.5 ++++ Application.py Sun Feb 1 18:03:03 2004
1.6 +@@ -389,7 +389,10 @@
1.7 + try:
1.8 + ssPath = request.serverSidePath()
1.9 + if ssPath is None or not os.path.exists(ssPath):
1.10 +- self.handleBadURL(transaction)
1.11 ++ try:
1.12 ++ self.handleGoodURL(transaction)
1.13 ++ except Exception, exc:
1.14 ++ self.handleBadURL(transaction)
1.15 + elif isdir(ssPath) and noslash(request.pathInfo()): # (*) see below
1.16 + self.handleDeficientDirectoryURL(transaction)
1.17 + elif self.isSessionIdProblematic(request):
1.18 +@@ -1030,7 +1033,7 @@
1.19 + cache = self._servletCacheByPath.get(path, None)
1.20 +
1.21 + # File is not newer?
1.22 +- if cache and cache['timestamp']<os.path.getmtime(path):
1.23 ++ if cache and cache.has_key('timestamp') and cache['timestamp']<os.path.getmtime(path):
1.24 + cache['instances'][:] = []
1.25 + cache = None
1.26 +
1.27 +@@ -1038,11 +1041,15 @@
1.28 + cache = {
1.29 + 'instances': [],
1.30 + 'path': path,
1.31 +- 'timestamp': os.path.getmtime(path),
1.32 + 'threadsafe': 0,
1.33 + 'reuseable': 0,
1.34 + }
1.35 +
1.36 ++ try:
1.37 ++ cache['timestamp'] = os.path.getmtime(path)
1.38 ++ except OSError:
1.39 ++ pass
1.40 ++
1.41 + self.newServletCacheItem(path,cache)
1.42 + inst = self.getServlet(transaction,path,cache)
1.43 +
1.44 +@@ -1284,8 +1291,8 @@
1.45 + else:
1.46 + return None, None, None
1.47 +
1.48 +- elif not os.path.isfile(ssPath):
1.49 +- return None, None, None
1.50 ++ #elif not os.path.isfile(ssPath):
1.51 ++ # return None, None, None
1.52 +
1.53 + self._serverSideInfoCacheByPath[urlPath] = ssPath, contextPath, contextName
1.54 +