fixing https redirect from old codesite url

chrome/common/extensions/docs/server/main.py

 #!/usr/bin/env python
 # Copyright (c) 2012 The Chromium Authors. All rights reserved.
 # Use of this source code is governed by a BSD-style license that can be
 # found in the LICENSE file.
 
 import cgi
 import logging
 import os
 import re
 
@@ skipping 154 matching lines @@
 
   def initDocFamily(self):
     if self.path[0] in ('extensions', 'apps'):
       self.docFamily = self.path.pop(0)
     else:
       self.docFamily = 'extensions'
     return self.redirectToIndexIfNecessary()
 
 
   def redirectDomain(self):
-    if (self.request.url.startswith('http://code.google.com')):
+    if (self.request.url.startswith(('http://code.google.com',
+                                     'https://code.google.com'))):
+      newUrl = CHROME_DOMAIN_URL
+      # switch to https if necessary
+      if (self.request.url.startswith('https')):
+        newUrl = newUrl.replace('http', 'https', 1)
       self.path.pop(0)  # 'chrome'
       for channel in ['dev', 'beta', 'stable', 'trunk']:
         if channel in self.path:
           position = self.path.index(channel)
           self.path.pop(position)
           self.path.insert(0, channel)
-      self.redirect(CHROME_DOMAIN_URL + '/' + '/'.join(self.path), True)
+      self.redirect(newUrl + '/' + '/'.join(self.path), True)
       return False
     else:
       return True
 
 
   def fetchContent(self):
     logging.info("fetching: %s" % str((self.branch, self.docFamily, self.path)))
 
     # For extensions, try the old directory layout first.
     result = None
@@ skipping 50 matching lines @@
   ('/.*', MainPage),
 ], debug=False)
 
 
 def main():
   run_wsgi_app(application)
 
 
 if __name__ == '__main__':
   main()