Yes, It's still aborting, and needs to ensure that it's not stuck on this sem (although after 10s timeout it would abort anyway)