diff deploy/src/archive-tip.sh @ 2171:a38d6f0f1d06

Fix crash when closing application or invoking New Session while recording is in progress
author Chris Cannam
date Fri, 04 Jan 2019 15:24:46 +0000
parents b578440bbca6
children 7535f13569fa
line wrap: on
line diff