Attention une mise à jour du serveur va être effectuée le lundi 17 mai entre 13h et 13h30. Cette mise à jour va générer une interruption du service de quelques minutes.

Commit 457ac0ec authored by Mathieu Hemery's avatar Mathieu Hemery

xpp_parser now silently skip missing options

parent 7146b697
......@@ -108,9 +108,10 @@ write_ode_as_xpp :-
),
forall(
xpp_option(Option),
(
get_option(Option, Value),
format('# option: ~w=~w~n', [Option, Value])
catch(
(get_option(Option, Value), format('# option: ~w=~w~n', [Option, Value])),
error(option_required(_All), option), %option_required(_),
true
)
),
format('done\n').
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment