support for headers with other date format
@@ -33,7 +33,7 @@ def determine_header_length(trf_contents):
def decode_header(trf_header_contents):
match = re.match(
br"[\x00-\x19]" # start bit
- br"(\d\d/\d\d/\d\d \d\d:\d\d:\d\d Z)" # date
+ br"(\d\d[/-]\d\d[/-]\d\d \d\d:\d\d:\d\d Z)" # date
br"[\x00-\x19]" # divider bit
br"((\+|\-)\d\d:\d\d)" # time zone
br"[\x00-\x25]" # divider bit
