chiark / gitweb /
call util_delete_path() only when we actually deleted stuff