resumeの際に，オペレータIDが消失してしまう点を修正した．