[ivette] Server: fixes the handling of signals.
Always sends signal.on for all signals when restarting the Frama-C server. This requires to set [listen] to false for each signal on shutdown (the on signal is never send as long as [listen] is true).
Loading
Please register or sign in to comment