modified buffermanager to handle errors in unpinning a page