time.strptime verweigert Dienst

[amittel]

Hallo!
Ich habe ein merkwürdiges Problem. Die unten stehende Funktion hat im November wunderbar funktioniert. Jetzt im Dezember verweigert sie ihren Dienst. Und das ist mir ein Rätsel.
Der Fehler lautet wie folgt:

Code: Alles auswählen

ValueError: time data '05 Dec 2011 15:00' does not match format '%d %b %Y %H:%M'

Aber das Format stimmt doch...

Ich konnte das Problem auf das `%b` eingrenzen. Nehme ich das raus, funktioniert es.
Kann es mit der Kodierung zusammenhängen?

Code: Alles auswählen

	def get_update_time():
		last_update = (self.feedxml.find('.//lastBuildDate')).text[5:22]
		print last_update
		feedtime_raw = time.strptime(last_update,'%d %b %Y %H:%M')
		feedtime = time.strftime('%Y%m%d%H%M', feedtime_raw)
		return feedtime

Edit: Man muss mal drüber gesprochen haben Das Problem ist, dass Dec EN ist und er ein Dez DE haben will. Tja... Jetzt weiß ich, wo ich ansetzen kann.

[gkuhl]

Hi,

hängt vermutlich mit den Spracheinstellungen zusammen. Was bekommst du denn bei folgenden Code als Ausgabe?

Code: Alles auswählen

In [36]: now = time.localtime()

In [37]: time.strftime('%d %b %Y %H:%M', now)
Out[37]: '06 Dec 2011 00:25'

Grüße
Gerrit

Edit: War ich wohl etwas zu langsam.