mirror of
https://github.com/RTimothyEdwards/magic.git
synced 2026-08-29 09:30:46 +02:00
extresist extractor is less sophisticated than the standard extraction and will not check through the list of device records belonging to a single device type. Therefore a device in the .res.ext may have a different device name. So name hashing and checks are made against the tile type, not the device name, as the tile type + device coordinates is sufficient to uniquely identify the device. However, the extresist extractor does need to be sophisticated enough to find all the terminal types, so that needs to be fixed.