#!/usr/bin/env python2.3

 from BaseHTTPServer import BaseHTTPRequestHandler, HTTPServer
 import sys,os
 class handler(BaseHTTPRequestHandler):
   def do_GET(self):
     global t
     self.send_response(200)
     self.send_header('content-length',len(t))
     self.send_header('content-encoding','UTF-8')
     self.send_header('content-type',('text/plain','text/html')[t[0] == '<'])
     self.end_headers()
     print >>self.wfile,t
     os._exit(0)

 t = sys.stdin.read() or 'one time web server'
 try: p = int(sys.argv[1])
 except: p = 0
 httpd = HTTPServer(('',p),handler)
 print '> http://%s:%d/' % (httpd.server_name,httpd.server_port)
 httpd.serve_forever()