[PATCH] Fix elapsed time in Junit reports

As discussed in email thread [1], please find attached the patch to fix
elapsed time displayed in Hudson build system. It also deals with
milliseconds.

[[
Rightly process the elapsed time, including the milliseconds.

* tools/dev/gen_junit_report.py
  (update_stat): Use float type while calculating the time taken for
  individual tests.
  (main): The seconds field may contain milli seconds, do not cast as
  int type. If so, do it as float.
]]

[1]
http://subversion.tigris.org/ds/viewMessage.do?dsForumId=462&dsMessageId=2411335

-- 
Bhuvaneswaran A    
CollabNet Software P Ltd.  |  www.collab.net
------------------------------------------------------
http://subversion.tigris.org/ds/viewMessage.do?dsForumId=462&dsMessageId=2411410