Thomas Bernard 80779ff4f7 Fix commit 6cbf0ba
Use the "flags" global variable to store the option value
Save a lot of complexity.
2018-02-22 13:47:48 +01:00
..
2015-04-26 16:18:39 +02:00
2018-02-22 13:47:48 +01:00