software/theia: Fix null parameters templating
Before this commit, instance parameters that have a default null value in JSON format were rendered as 'None' string in instance-theia.cfg. In particular, Theia frontends were always requested with unsolvable SLA parameters that prevented a frontend from ever being allocated: ``` sla-instance_guid = None ```
Showing
Please register or sign in to comment