def lastmodified(date_obj):
 web.header('Last-Modified', net.httpdate(date_obj))

def lastmodified ( date_obj ) : web . header ( 'Last-Modified' , net . httpdate ( date_obj ) )
outputs a last-modified header for datetime .