Skip to main content

Browse the archive

Revision 80265d292f1d53cba26629e6819168bb0d4555fb authored by Pierre-Yves Strub on 17 July 2015, 10:25:39 UTC, committed by Pierre-Yves Strub on 17 July 2015, 10:25:39 UTC 
Activate OCaml exception based CLI interruption.
 
This is drafty as the SIGINT signal should be masked most of the time
and only unmasked at very specific cancelation points. Mainly: before
each tactical invocation and during SMT calls.

[ref #17082]
1 parent 6336362
History
File Mode Size
tests.config -rw-r--r-- 655 bytes
back to top