From 7c6d6c435d04464e27942b036228f40ec719fa01 Mon Sep 17 00:00:00 2001 From: "W. Trevor King" Date: Wed, 8 Sep 2010 13:59:08 -0400 Subject: [PATCH] I'm using the 0.12 specs for the JPK driver, so allow version 0.12 files. The previous range(12) code only went up to version 0.11. --- hooke/driver/jpk.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/hooke/driver/jpk.py b/hooke/driver/jpk.py index ba38f6a..760d9f1 100644 --- a/hooke/driver/jpk.py +++ b/hooke/driver/jpk.py @@ -79,7 +79,7 @@ class JPKDriver (Driver): if p.endswith('segment-header.properties')])): segments.append(self._zip_segment( f, path, info, zip_info, i, version)) - if version not in ['0.%d' % i for i in range(12)]: + if version not in ['0.%d' % i for i in range(13)]: raise NotImplementedError( 'JPK file version %s not supported (yet).' % version) curve_info = self._zip_translate_params( -- 2.26.2