John Baldwin f455512fdd Update the timestamp regexps in syncstamp() and monostamp() for > 99999 ...

traces where there isn't any leading whitespace before the record number
in the ktrdump output.

2008-01-25 19:24:12 +00:00

..

schedgraph.py

Update the timestamp regexps in syncstamp() and monostamp() for > 99999

2008-01-25 19:24:12 +00:00