bin/frappy-server: - the default for omit_unchanged_within must not be overriden + remove no longer used disable_value_range_check Change-Id: I5c0620e44dc7df3ae2ca48f7ab6371189acae489 Reviewed-on: https://forge.frm2.tum.de/review/c/secop/frappy/+/30727 Tested-by: Jenkins Automated Tests <pedersen+jenkins@frm2.tum.de> Reviewed-by: Markus Zolliker <markus.zolliker@psi.ch>