version 1.109, 2009/06/21 11:12:01
|
version 1.110, 2009/06/21 11:28:37
|
Line 721 class CDLIRoot(Folder):
|
Line 721 class CDLIRoot(Folder):
|
splitter = {'words':cdliSplitter.wordSplitter(), |
splitter = {'words':cdliSplitter.wordSplitter(), |
'graphemes':cdliSplitter.graphemeSplitter()} |
'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): |
def unicodify(self,txt): |
return unicodify(txt) |
return unicodify(txt) |