Shell "thread": avoid an error if the thread ID is unknown