--- UnknownFileTypeServlet.py- Wed Feb 9 12:42:24 2005 +++ UnknownFileTypeServlet.py Wed Feb 9 12:43:40 2005 @@ -1,4 +1,5 @@ from ServletFactory import ServletFactory +import HTTPExceptions import os, mimetypes, time debug = 0 @@ -142,7 +143,7 @@ try: f = open(filename, 'rb') except IOError: - trans.application().handleBadURL(trans) + raise HTTPExceptions.HTTPNotFound return stat = os.fstat(f.fileno())