Keep tmp propagation file only when requested
Keep tmp propagation file only when requested


Former-commit-id: a085526a8f9f34cbebc1113fc73c92199234e07e
karel-brinda/prophyle,karel-brinda/prophyle,karel-brinda/prophyle,karel-brinda/prophyle