フリーズしてしまったときの対処がうまくいかなかった原因が判明。 前回フリーズして終了したかをログファイルに書き込まれた時刻の文字列の文字数によって判定していたのだが、これが間違っていた。 ツールを作るときは大抵深夜の午前中。そして今までマシ…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。