IDESlave protocol fixes in case of error

Previously, Idris was asking for the same continuation to be deleted
twice in case of errors.