--- cdli/cdli_files.py 2009/06/21 11:12:01 1.109 +++ cdli/cdli_files.py 2009/06/21 11:28:37 1.110 @@ -721,6 +721,19 @@ class CDLIRoot(Folder): splitter = {'words':cdliSplitter.wordSplitter(), 'graphemes':cdliSplitter.graphemeSplitter()} + def redirect(self,RESPONSE,url): + """mache ein redirect mit einem angehaengten time stamp um ein reload zu erzwingen""" + + timeStamp=time.time() + + if url.find("?")>-1: #giebt es schon parameter + addStr="&time=%s" + else: + addStr="?time=%s" + + RESPONSE.setHeader('Last-Modified',email.Utils.formatdate().split("-")[0]+'GMT') + logging.error(email.Utils.formatdate()+' GMT') + RESPONSE.redirect(url+addStr%timeStamp) def unicodify(self,txt): return unicodify(txt)