diff options
Diffstat (limited to 'tools/web/main.py')
-rwxr-xr-x | tools/web/main.py | 28 |
1 files changed, 0 insertions, 28 deletions
diff --git a/tools/web/main.py b/tools/web/main.py deleted file mode 100755 index b7501c5c..00000000 --- a/tools/web/main.py +++ /dev/null @@ -1,28 +0,0 @@ -#!/usr/bin/env python2.6 - -from flask import Flask - -from with_xml import Node - -app = Flask(__name__) - -@app.route('/') -def index(): - content = Node() - tag = content.tag - put = content.put - a = tag('a') - with tag('html'): - with tag('head'): - with tag('title'): - put('Title') - with tag('body'): - with tag('h1'): - put('Header') - put('This is ') - with a(href='http://google.com/'): - put('a link to Google.') - return str(content) - -if __name__ == '__main__': - app.run(debug=True) |