drush_log(dt('There was an error during the synchronization, review the sync log table for details.'),'error');
}
}
catch(Exception$e){
// @todo is there a way to end up here? reSyncFromScratch() and sync() should handle the exceptions IIRC.
drush_set_error('Exception while synchronizing',dt('An error occurred while performing history synchronziation on repository !name. Error info: '.$e->__toString()),array('!name'=>$repository->name));
// There'll be a stale lock on the repository now, so clear it.