Expose a way to set language constraints
erp12 opened this issue · 0 comments
erp12 commented
There needs to be some way to reconfigure the push language constraints (eval-limit, timeout, max string length, etc).
A configuration file could be provided on server start.
A new action (POST request) could be implemented.