signal_is_fatal(): further fixed handling of real-time signals.