Edit requests of 「Write failed: Broken pipe」によりsshが切断された時の対処法