(key)
| 428 | document.addEventListener('keydown', escCloseOnce); |
| 429 | } |
| 430 | function findServer(key){ return S.servers.find(s => s._key === key); } |
| 431 | function refreshDetail(){ |
| 432 | const s = findServer(S.openDetailKey); |
| 433 | if(!s){ closeDetail(); return; } |