saving the timers with dom is very very slow (12 timers take 5 seconds to save) so...
authorStefan Pluecken <stefan.pluecken@multimedia-labs.de>
Thu, 19 Jan 2006 01:10:29 +0000 (01:10 +0000)
committerStefan Pluecken <stefan.pluecken@multimedia-labs.de>
Thu, 19 Jan 2006 01:10:29 +0000 (01:10 +0000)
commitd76847392ff5cd26bc154f6c135310644c5c1d08
treeeef16341ef3392500dd1929a16697c85c2f7392b
parentd59ce3f9c60c4466006ad1e148cec9a6e3a29cb2
saving the timers with dom is very very slow (12 timers take 5 seconds to save) so as a workaround we don't use a xml parser
to save the timers.xml file
RecordTimer.py