| Index: utils/apidoc/app_engine/scripts/redirector.py
|
| diff --git a/utils/apidoc/app_engine/scripts/redirector.py b/utils/apidoc/app_engine/scripts/redirector.py
|
| new file mode 100644
|
| index 0000000000000000000000000000000000000000..d1260901b0d53f6a58468cdd3cacf6262df6650b
|
| --- /dev/null
|
| +++ b/utils/apidoc/app_engine/scripts/redirector.py
|
| @@ -0,0 +1,19 @@
|
| +# Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file
|
| +# for details. All rights reserved. Use of this source code is governed by a
|
| +# BSD-style license that can be found in the LICENSE file.
|
| +
|
| +import webapp2
|
| +
|
| +class DomRedirectPage(webapp2.RequestHandler):
|
| + def get(self):
|
| + if self.request.path == '/dom.html':
|
| + self.redirect('/html.html', permanent=True)
|
| + return
|
| +
|
| + url = self.request.path[4:len(self.request.path)]
|
| + self.redirect('/html' + url, permanent=True)
|
| +
|
| +application = webapp2.WSGIApplication(
|
| + [('/dom.*', DomRedirectPage)],
|
| + debug=True)
|
| +
|
|
|