| Index: chrome/common/extensions/docs/server2/servlet.py
|
| diff --git a/chrome/common/extensions/docs/server2/servlet.py b/chrome/common/extensions/docs/server2/servlet.py
|
| new file mode 100644
|
| index 0000000000000000000000000000000000000000..06b1341201b54bbb756bdbc6751d12e0747a1563
|
| --- /dev/null
|
| +++ b/chrome/common/extensions/docs/server2/servlet.py
|
| @@ -0,0 +1,18 @@
|
| +# Copyright 2013 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.
|
| +
|
| +class Servlet(object):
|
| + def __init__(self, path, request, response):
|
| + self._path = path
|
| + self._request = request
|
| + self._response = response
|
| +
|
| + def Get(self):
|
| + raise NotImplemented()
|
| +
|
| + def Redirect(self, url):
|
| + if not url.startswith('/'):
|
| + url = '/%s' % url
|
| + self._response.status = 302
|
| + self._response.headers['Location'] = url
|
|
|