runserver.py

#!/usr/bin/env python

# This should be kept in sync with .htaccess so either can be used

import web

urls = (
    '/(css/.*)', 'static',
    '/(data/.*)', 'static',
    '/(docs.*)', 'static',
    '/(gen/.*)', 'static',
    '/(ico/.*)', 'static',
    '/(img/.*)', 'static',
    '/(js/.*)', 'static',
    '/(templates/.*)', 'static',
    '/test', 'test',
    '/test_case', 'test_case',
    '/.*', 'index'
)
app = web.application(urls, globals())


class static:
    def GET(self, filename):
        if filename.endswith('.css'):
            web.header('Content-type', 'text/css')
        elif filename.endswith('.txt'):
            web.header('Content-type', 'text/plain')
        elif filename.endswith('.js'):
            web.header('Content-type', 'text/javascript')
        elif filename.endswith('/'):
            filename += 'index.html'
        elif not '.' in filename:
            filename += '/index.html'

        f = open(filename)
        return f.read()


class index:
    def GET(self):
        f = open('index.html')
        return f.read()


class test:
    def GET(self):
        f = open('test.html')
        return f.read()


class test_case:
    def GET(self):
        f = open('test_case.html')
        return f.read()


if __name__ == '__main__':
    app.run()