Re: Issue 1003 in robotframework: Log time differs from system time

[robotframework]

Comment #4 on issue 1003 by mikko.ko...@gmail.com: Log time differs from  
system time
http://code.google.com/p/robotframework/issues/detail?id=1003
Possibly related Python issue http://bugs.python.org/issue7229

So we could for example correct this with time.localtime().tm_isdst instead  
of time.daylight ..