Gardaí are thought to have acted appropriately in a case where a man died in custody in a Cork station.