search

netsec-ethz / fpki

4 stars 1 forks source link

Fix 2nd deadlock #34

Closed cyrill-k closed 1 year ago

cyrill-k commented 1 year ago

PR since I cannot directly push in this repo.

Fixes the second occurrence of a deadlock in the same fashion as the first one.

This change is Reviewable