Updating dome and safety models

IvS-KULeuven / MTCS-models

Models of the Mercator Telescope Control System, written in the Ontoscript DSL.

GNU General Public License v3.0

0 stars 3 forks source link

Closed jperezpadilla closed 6 years ago

jperezpadilla commented 6 years ago

Correcting a bug in dome rotation statuses section. Because of this dome rotation status was always in Idle.
Updating safety to allow the change to warning status when personHasEntered or sensorsBypassedPermanently, even if telescope is not awake.