commit a129553dd4922e96004f8f73ec2d2b85f0891fba Author: Arturo Filastò arturo@filasto.net Date: Tue Feb 21 14:53:13 2017 +0000

Fix bug in deleting of old resources --- ooni/resources.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/ooni/resources.py b/ooni/resources.py index 1830d422..69e74c58 100644 --- a/ooni/resources.py +++ b/ooni/resources.py @@ -174,4 +174,5 @@ def check_for_update(country_code=None):

for resource in to_delete: log.msg("Deleting old resources") - resources_dir.child(resource["path"]).remove() + pre_path, filename = resource["path"].split("/") + resources_dir.child(pre_path).child(filename).remove()