mirror of
https://github.com/OPM/ResInsight.git
synced 2026-08-01 09:18:12 -05:00
Added a timer to call back if a signal from the socket has to be ignored. This way we should not loose signals and state. Needs to be experienced over some time to be verified.