def setDownloadFileName( name ): web.header( 'Content-Disposition', 'attachment;filename="%s"' % name )