software/theia: Simplify embedded SR options
Remove existing "embedded instance" options: - `embedded-sr` - `embedded-sr-type` - `embedded-instance-parameters` Instead introduce `one-time-embedded-instance` option: - Only taken into account when Theia is instantiated the first time. - Content should be a JSON object with: - 'software-url': string of the software URL - 'software-type': (optional) string of the software type - 'instance-parameters': (optional) JSON object If the option is non-empty: - Theia will attempt once to: - Parse the JSON content - Create a supply/request script - Call the script - A promise will check whether the script was successfully called. If the promise fails forever, e.g. because of ill-formed JSON, emptying the option will remove the promise. Editing the option after the first time will have no effect, whether the promise succeded or not.
Showing
This diff is collapsed.
Please register or sign in to comment