Support requests using HEAD method

woof

@@ -166,6 +166,12 @@ class FileServHTTPRequestHandler (http.server.BaseHTTPRequestHandler):
 
 
    def do_GET (self):
+      return self.get_or_head ()
+
+   def do_HEAD (self):
+      return self.get_or_head (True)
+
+   def get_or_head (self, headers_only=False):
       global maxdownloads, cpid, compressed, upload
 
       # Form for uploading a file
@@ -186,6 +192,10 @@ class FileServHTTPRequestHandler (http.server.BaseHTTPRequestHandler):
          self.send_header ("Content-Type", "text/html")
          self.send_header ("Content-Length", str (len (txt)))
          self.end_headers ()
+
+         if headers_only:
+            return
+
          self.wfile.write (txt)
          return
 
@@ -216,10 +226,15 @@ class FileServHTTPRequestHandler (http.server.BaseHTTPRequestHandler):
          self.send_header ("Content-Type", "text/html")
          self.send_header ("Content-Length", str (len (txt)))
          self.end_headers ()
+
+         if headers_only:
+            return
+
          self.wfile.write (txt)
          return
 
-      maxdownloads -= 1
+      if not headers_only:
+         maxdownloads -= 1
 
       # let a separate process handle the actual download, so that
       # multiple downloads can happen simultaneously.
@@ -248,6 +263,9 @@ class FileServHTTPRequestHandler (http.server.BaseHTTPRequestHandler):
                               os.path.getsize (self.filename))
          self.end_headers ()
 
+         if headers_only:
+            return
+
          try:
             if type == "file":
                datafile = open (self.filename, "rb")