Changeset 14:4e69ddcc5e2b

Timestamp:

2007-06-23 18:41:26 (1 year ago)

Author:

Stefan Schwarzer <sschwarzer@sschwarzer.net>

branch:

default

Message:

Include Last-Modified header for files.

Files:

• todo.txt (modified) (1 diff)
• websourcebrowser.py (modified) (5 diffs)

todo.txt

@@ -21 +21 @@
-# SOFTWARE.
-
-- use "random" names for static files used by websourcebrowser itself
-- handle directories as GET paths
-- put directory display on the left (or right? configurable?)

websourcebrowser.py

@@ -24 +24 @@
-import cgi
-import codecs
+import email.utils
-import os
-import sys
+import time
-
-try:
@@ -109 +111 @@
-
-    def _emit_file(self, text, title=u"", content_type="text/html",
-
+, mtime=None
-        """
-        Emit the `text` on the HTTP output stream with a content type
@@ -122 +124 @@
-            header_content_type = content_type
-        self.send_header("Content-type", header_content_type)
+        if mtime:
+            self.send_header("Last-Modified", email.utils.formatdate(mtime))
-        self.end_headers()
-        if content_type == "text/html":
@@ -137 +141 @@
-        if self.path == ("/" + STATIC_PREFIX + CSS_FILE_NAME):
-            self._emit_file(self._get_file(actual_css_path()),
-
+
+
-            return
-        path = self.path[1:]
@@ -154 +159 @@
-            # assume title is UTF-8-encoded though we don't know for sure
-            title = relative_path.decode("UTF-8")
-
+, mtime=os.path.getmtime(path)
-
-