{
// clear progress only if we aren't switching projects
// (otherwise we want to leave progress up until
// the app reloads)
if (switchToProject_ == null)
progress.dismiss();
// fire onQuitAcknowledged
if (onQuitAcknowledged_ != null)
onQuitAcknowledged_.execute();
}