chiark / gitweb /
libraries: Prepare for multiple libraries with the same name
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 5 May 2021 13:07:09 +0000 (14:07 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 5 May 2021 15:08:47 +0000 (16:08 +0100)
commit5148d6ae3d2bedffcc35e7d0528d81fe0f8dbffe
tree846d672e1ff30516886168ed06c9e7d1109aba8b
parentf580502d464611e7c0a5c3085f5a9be71979bfdf
libraries: Prepare for multiple libraries with the same name

This can't currently happen with the global shape libraries but the
per-game ones might have this, if the bundles overlap.  And we
want to use the same data structure.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
daemon/cmdlistener.rs
src/bin/otterlib.rs
src/shapelib.rs