Code

Implement file ID service#244

Code

Merged

davidbrochart merged 6 commits intojupyter-server:mainjupyter-server/jupyverse:mainfrom davidbrochart:file_iddavidbrochart/jupyverse:file_idCopy head branch name to clipboardNov 24, 2022

+282-33

Commits

Commits on Nov 17, 2022

• Implement file ID service

  davidbrochart

  committed
  be25497

Commits on Nov 22, 2022

• Make FileIdManager a singleton, optimize DB accesses, index in the background, add logger, handle modified files

  davidbrochart

  committed
  d661f73

• Use anyio instead of aiopath

  davidbrochart

  committed
  558a6d5

Commits on Nov 23, 2022

• Fix file watchers

  davidbrochart

  committed
  3c1825b

• Set watchfiles logger level to WARNING

  davidbrochart

  committed
  b4188ac

Commits on Nov 24, 2022

• Use setdefault

  Show description for 3d2e5cc
  

  davidbrochart

  and

  Wh1isper

  authored
  3d2e5cc