3497 real device names
OAESE users asked that devices be named with real device names. I implemented this. I currently store the mapping in the happi device. It's also captured in the PV name
OAESE users asked that devices be named with real device names. I implemented this. I currently store the mapping in the happi device. It's also captured in the PV name