# HG changeset patch # User raph # Date 1265978867 -3600 # Node ID 132100852cd6e301cfa02292f82e7c047076614b # Parent 3b1990e5219877d762c354c79c275c9c750746ff fix feed unique id generator diff -r 3b1990e52198 -r 132100852cd6 src/cm/views/feeds.py --- a/src/cm/views/feeds.py Fri Feb 12 13:19:50 2010 +0100 +++ b/src/cm/views/feeds.py Fri Feb 12 13:47:47 2010 +0100 @@ -12,14 +12,13 @@ import time from cm.exception import UnauthorizedException import re +from urlparse import urlparse # taken from django's feedgenerator.py and changed to support multiple posts in minute def get_tag_uri(url, date): "Creates a TagURI. See http://diveintomark.org/archives/2004/05/28/howto-atom-id" - tag = re.sub('^http://', '', url) - if date is not None: - tag = re.sub('/', ',%s:/' % time.mktime(date.timetuple()), tag, 1) - tag = re.sub('#', '/', tag) - return u'tag:' + tag + parsed_url = urlparse(url) + time_stp = time.mktime(date.timetuple()) if date is not None else '' + return u'tag:%s,%s:%s' %(parsed_url.hostname, time_stp, parsed_url.path) # + '/' + parsed_url.fragment def public_feed(request):