comparison misc/org.salutatoi.SAT.service @ 3211:4252176ad993

plugin download: clean unfinished files and re-raise exception in case of download error
author Goffi <goffi@goffi.org>
date Fri, 06 Mar 2020 18:19:03 +0100
parents 779351da2c13
children 7550ae9cfbac
comparison
equal deleted inserted replaced
3210:fedec192a83f 3211:4252176ad993