Code

Middleware#1224

Code

Merged

pieter-bos merged 2 commits intodevutwente-fmt/vercors:devfrom middlewareutwente-fmt/vercors:middlewareCopy head branch name to clipboardJul 16, 2024

+420-234

Commits

Commits on Jul 15, 2024

• harmonize handling of global concerns as middleware that is resilient to crashes

  pieter-bos

  committed
  dc46bd7

Commits on Jul 16, 2024

• update layout on progress uninstall, move out layout (un)install from watch loop

  pieter-bos

  committed
  38e5446