Function cacheKernelInfo

src/kernels/kernelInfo.ts:77–96

(
    storage: Memento,
    kernelConnection: KernelConnectionMetadata,
    info: KernelMessage.IReplyErrorContent | KernelMessage.IReplyAbortContent | KernelMessage.IInfoReply | undefined
)

}

async function cacheKernelInfo(
    storage: Memento,
    kernelConnection: KernelConnectionMetadata,
    info: KernelMessage.IReplyErrorContent | KernelMessage.IReplyAbortContent | KernelMessage.IInfoReply | undefined
) {
    if (!info || !isRemoteConnection(kernelConnection)) {
        return;
    }
    const kernelInfos = storage
        .get<CachedKernelInfo[]>(KEY, [])
        .filter((item) => Date.now() - item.age < CACHE_EXPIRY_IN_MS)
        .filter((item) => item.id !== kernelConnection.id);
    kernelInfos.push({
        id: kernelConnection.id,
        age: Date.now(),
        info
    });

    await storage.update(KEY, kernelInfos);
}
function getCacheKernelInfo(storage: Memento, kernelConnection: KernelConnectionMetadata) {
    if (!isRemoteConnection(kernelConnection)) {
        return;