Senegalese troops intervened and the bloodshed of July 31, 1981 ended. Gambians were grateful, but not until national pride over territorial integrity came to the fore.