Closed feuerste closed 5 years ago
@wally-the-cartographer merge
Merge requested by authorized user feuerste. Merge queue now has a length of 1.
224 introduced an RwLock. The grpc server potentially waited forever for write access, since the read lock wasn't released. This PR fixes this bug.